Invited Talk: First-order Predicate Logic as a Common Basis for Relational and Functional Programming (at LICS 1987)
Authors: W. H. van EmdenAbstract
No Abstract Available
BibTeX
@InProceedings{vanEmden-FirstorderPredicate, author = {W. H. van Emden}, title = {First-order Predicate Logic as a Common Basis for Relational and Functional Programming}, booktitle = {Proceedings of the Second Annual IEEE Symp. on Logic in Computer Science, {LICS} 1987}, year = 1987, editor = {David Gries}, month = {June}, pages = {179--179}, location = {Ithaca, NY, USA}, note = {Invited Talk}, publisher = {IEEE Computer Society Press} }