✦ LIBER ✦

A predicate spatial logic for mobile processes

✍ Scribed by Huimin Lin

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A new semantics for intuitionistic predi

✍ Yuichi Komori 📂 Article 📅 1986 🏛 Springer Netherlands 🌐 English ⚖ 617 KB

Finite games for a predicate logic witho

✍ Daniel Mey 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 603 KB

A Logic For Distributed Processes

✍ W. Richard Strark 📂 Article 📅 1989 🏛 John Wiley and Sons 🌐 English ⚖ 589 KB

Efficient hypothetical reasoning system

✍ A. Kondo; T. Makino; M. Ishizuka 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 820 KB

A Notation and Logic for Mobile Computin

✍ Gruia-Catalin Roman; Peter J. McCann 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 135 KB

Cut Elimination inside a Deep Inference

✍ Kai Brünnler 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 308 KB