✦ LIBER ✦

The logical meaning of programs of a subrecursive language

✍ Scribed by Wolfgang Coy

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Comp

✍ Pacholski, Leszek; Tiuryn, Jerzy 📂 Article 📅 1995 🏛 Springer Berlin Heidelberg ⚖ 868 KB

The Semantics of Predicate Logic as a Pr

✍ Van Emden, M. H.; Kowalski, R. A. 📂 Article 📅 1976 🏛 Association for Computing Machinery 🌐 English ⚖ 638 KB

A Logical Calculus of Meaning and Synony

✍ Yiannis N. Moschovakis 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 598 KB

A logic programming language based on th

✍ Seif Haridi 📂 Article 📅 1990 🏛 Springer 🌐 English ⚖ 756 KB

The Meaning of Language

📂 Article 📅 1989 🏛 John Wiley and Sons ⚖ 127 KB

A measure of logical complexity of progr

✍ S.Sitharama Iyengar; N. Parameswaran; John Fuller 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 674 KB