✦ LIBER ✦

Characterizing CTL-like logics on finite trees

✍ Scribed by Zoltán Ésik

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Characterization of the Classes of Fin

✍ Robert E. Kirk 📂 Article 📅 1980 🏛 John Wiley and Sons 🌐 English ⚖ 334 KB 👁 1 views

A binary operation on trees and an initi

✍ Wolfgang Merzenich 📂 Article 📅 1979 🏛 Springer-Verlag 🌐 English ⚖ 983 KB

One-step synthesis and characterization

✍ Fu, Xiuli; Zhu, Na; Peng, Zhijian 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 933 KB