✦ LIBER ✦

The Semantics of Predicate Logic as a Programming Language

✍ Scribed by Van Emden, M. H.; Kowalski, R. A.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The recursion-theoretic complexity of th

✍ Howard A. Blair 📂 Article 📅 1982 🏛 Elsevier Science ⚖ 837 KB

From Predicates to Programs: The Semanti

✍ David Faitelson; James Welch; Jim Davies 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 311 KB

General predicate transformer and the se

✍ Jifeng He 📂 Article 📅 1983 🏛 Springer-Verlag 🌐 English ⚖ 895 KB

English as a logic programming language

✍ Robert Kowalski 📂 Article 📅 1990 🏛 Springer 🌐 English ⚖ 110 KB

Set abstraction—An extension of all solu

✍ Takashi Yokomori 📂 Article 📅 1987 🏛 Springer 🌐 English ⚖ 846 KB

The structure and semantics of an object

✍ Zhi Jin 📂 Article 📅 1995 🏛 Springer 🌐 English ⚖ 654 KB