✦ LIBER ✦

The recursion-theoretic complexity of the semantics of predicate logic as a programming language

✍ Scribed by Howard A. Blair

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Semantics of Predicate Logic as a Pr

✍ Van Emden, M. H.; Kowalski, R. A. 📂 Article 📅 1976 🏛 Association for Computing Machinery 🌐 English ⚖ 638 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

A Model-Theoretic Reconstruction of the

✍ M. Falaschi; G. Levi; M. Martelli; C. Palamidessi 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 925 KB

The structure and semantics of an object

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

The complexity of predicate default logi

✍ Robert Saxon Milnikel 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 135 KB