Formulas as programs

Authors	K.R. Apt
Publication date	1998
ISBN	-
Series	PNA, R9809
Publisher	Amsterdam: WINS (oud WINS)
Organisations	Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type	Report
Note	CWI
Permalink to this page