✦ LIBER ✦

A Proof System for Contact Relation Algebras

✍ Scribed by Ivo Düntsch; Ewa Orłowska

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Algebraic methods for interactive proof

✍ Lund, Carsten; Fortnow, Lance; Karloff, Howard 📂 Article 📅 1992 🏛 Association for Computing Machinery 🌐 English ⚖ 740 KB

Algebraic methods for interactive proof

✍ Lund, Carsten; Fortnow, Lance; Karloff, Howard 📂 Article 📅 1992 🏛 Association for Computing Machinery 🌐 English ⚖ 740 KB

A Microcomputer Based System for Small R

✍ Ivo Düntsch 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 115 KB

A nonlinear dynamical system related to

✍ M. V. Savelyev 📂 Article 📅 1996 🏛 Springer US 🌐 English ⚖ 125 KB

A proof system for the first-order relat

✍ Matthew C.B. Hennessy 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 829 KB

Relation Algebra Reducts of Cylindric Al

✍ Robin Hirsch, Ian Hodkinson and Roger D. Maddux 📂 Article 📅 2002 🏛 Association for Symbolic Logic 🌐 English ⚖ 385 KB