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.
@inproceedings{Emden87,
title = {First-order Predicate Logic as a Common Basis for Relational and Functional Programming (Abstract)},
author = {Maarten H. van Emden},
year = {1987},
tags = {functional programming, logic programming, programming, logic},
researchr = {https://researchr.org/publication/Emden87},
cites = {0},
citedby = {0},
pages = {179},
booktitle = {Proceedings, Symposium on Logic in Computer Science, 22-25 June 1987, Ithaca, New York, USA},
publisher = {IEEE Computer Society},
}