Dijkstra-Scholten predicate calculus: concepts and misconceptions

DSpace/Manakin Repository

Bijlsma, A.; Nederpelt, R.

(1998) Acta Informatica, volume 35, pp. 1007 - 1036

(Article)

Abstract

Acta Inf. 35 (1998), 1007-1036.

Download/Full Text

ISSN: 0001-5903 print
1432-0525 online

Publisher: Springer

See more statistics about this item