✦ LIBER ✦

Undecidability of Model Checking in Brane Logic

✍ Scribed by Giorgio Bacci; Marino Miculan

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the complexity of extension checking

✍ Paolo Liberatore 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 71 KB

Verification of a logically controlled,

✍ Scott T. Probst; Gary J. Powers; D.E. Long; I. Moon 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 994 KB

Output-signal processing algorithms in s

✍ M. S. Bershtein 📂 Article 📅 1980 🏛 Springer US 🌐 English ⚖ 453 KB

Geometric construction of D-branes in WZ

✍ G. Horcajada; F. Ruiz Ruiz 📂 Article 📅 2011 🏛 Springer-Verlag 🌐 English ⚖ 374 KB

Statistics in the landscape of intersect

✍ Florian Gmeiner 📂 Article 📅 2008 🏛 Springer-Verlag 🌐 English ⚖ 464 KB

A logical encoding of the π-calculus: mo

✍ Ping Yang; C.R. Ramakrishnan; Scott A. Smolka 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 573 KB