The Semantics of Predicate Logic as a Programming Language

From MaRDI portal
Publication:4107888

DOI10.1145/321978.321991zbMATH Open0339.68004OpenAlexW2108911687WikidataQ56227333 ScholiaQ56227333MaRDI QIDQ4107888FDOQ4107888


Authors: Robert Kowalski, M. H. van Emden Edit this on Wikidata


Publication date: 1976

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/321978.321991







Cited In (only showing first 100 items - show all)





This page was built for publication: The Semantics of Predicate Logic as a Programming Language

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4107888)