Dijkstra-Scholten predicate calculus: concepts and misconceptions
Publication date
1998
Authors
Bijlsma, A.
Nederpelt, R.
Editors
Advisors
Supervisors
DOI
Document Type
Article
Metadata
Show full item recordCollections
License
Abstract
Acta Inf. 35 (1998), 1007-1036.