✦ LIBER ✦

A logical characterization of data languages

✍ Scribed by Patricia Bouyer

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Logical Model for Agent Communication

✍ Mario Verdicchio; Marco Colombetti 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 166 KB

Logical Description of Context-free Grap

✍ Joost Engelfriet; Vincent van Oostrom 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 378 KB

A regular characterization of graph lang

✍ Joost Engelfriet 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 867 KB

A logical characterization of observatio

✍ Stephen L. Bloom; Douglas R. Troeger 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 643 KB

Hoare's logic for programming languages

✍ J.A. Bergstra; J.V. Tucker 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 620 KB

A Companion to Philosophical Logic || La

✍ Jacquette, Dale 📂 Article 📅 2006 🏛 Blackwell Publishing Ltd 🌐 English ⚖ 107 KB 👁 3 views

Edited By Dale Jacquette. Includes Bibliographical References And Index.