✦ LIBER ✦

A general framework for pattern-driven modal tableaux

✍ Scribed by del Cerro, L.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A General Framework for Geometry-Driven

✍ Wiro J. Niessen; Bart M. Ter Haar Romeny; Luc M.J. Florack; Max A. Viergever 📂 Article 📅 1997 🏛 Springer US 🌐 English ⚖ 358 KB

Modal tableaux for verifying stream auth

✍ Mehmet A. Orgun; Guido Governatori; Chuchang Liu 📂 Article 📅 2008 🏛 Springer US 🌐 English ⚖ 257 KB

SELF: A framework for generation of patt

✍ Devendra Sahal 📂 Article 📅 1978 🏛 Elsevier Science 🌐 English ⚖ 380 KB

Welding Semantics For Weak Strict Modal

✍ Richard Routley 📂 Article 📅 1977 🏛 John Wiley and Sons 🌐 English ⚖ 784 KB

A metadata-driven framework for generati

✍ Christopher Jones; Carol Blanchette; Matthew Brooke; John Harris; Matthew Jones; 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 497 KB

A general framework for debugging

✍ Araki, K.; Furukawa, Z.; Cheng, J. 📂 Article 📅 1991 🏛 IEEE 🌐 English ⚖ 860 KB