First-order Predicate Logic as a Common Basis for Relational and Functional Programming (Abstract)

Maarten H. van Emden. First-order Predicate Logic as a Common Basis for Relational and Functional Programming (Abstract). In Proceedings, Symposium on Logic in Computer Science, 22-25 June 1987, Ithaca, New York, USA. pages 179, IEEE Computer Society, 1987.

Abstract

Abstract is missing.