From Predicates to Programs: The Semantics of a Method Language

The Semantics of Predicate Logic as a Pr

The Semantics of Predicate Logic as a Programming Language

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

General predicate transformer and the se

General predicate transformer and the semantics of a programming language with go to statement

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

The recursion-theoretic complexity of th

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

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

Towards Verification of C Programs: Axio

Towards Verification of C Programs: Axiomatic Semantics of the C-kernel Language

✍ V. A. Nepomniaschy; I. S. Anureev; A. V. Promskii 📂 Article 📅 2003 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 107 KB

The Semantics of Prepositions (From Ment

The Semantics of Prepositions (From Mental Processing to Natural Language Processing) || Frontmatter

✍ Zelinsky-Wibbelt, Cornelia 📂 Article 📅 1993 🏛 DE GRUYTER 🌐 English ⚖ 63 KB

TRENDS IN LINGUISTICS is a series of books that open new perspectives in our understanding of language. The series publishes state-of-the-art work on core areas of linguistics across theoretical frameworks as well as studies that provide new insights by building bridges to neighbouring fields such a

The Semantics of Prepositions (From Ment

The Semantics of Prepositions (From Mental Processing to Natural Language Processing) || Contents

✍ Zelinsky-Wibbelt, Cornelia 📂 Article 📅 1993 🏛 DE GRUYTER 🌐 English ⚖ 49 KB

TRENDS IN LINGUISTICS is a series of books that open new perspectives in our understanding of language. The series publishes state-of-the-art work on core areas of linguistics across theoretical frameworks as well as studies that provide new insights by building bridges to neighbouring fields such a