✦ LIBER ✦

Ordering Constraints over Feature Trees Expressed in Second-Order Monadic Logic

✍ Scribed by Martin Müller; Joachim Niehren

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Monadic Second-Order Logic and Transitiv

✍ Hans-Jörg Tiede; Stephan Kepser 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 226 KB

Ordering Constraints over Feature Trees

✍ Martin Müller; Joachim Niehren; Andreas Podelski 📂 Article 📅 2000 🏛 Springer US 🌐 English ⚖ 194 KB

Sequentiality, Monadic Second-Order Logi

✍ Hubert Comon 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 232 KB

Fragments of Monadic Second-Order Logics

✍ Yassine Hachaïchi 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 263 KB

Branch-width, parse trees, and monadic s

✍ Petr Hliněný 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 349 KB

Monadic Second-Order Logic over Rectangu

✍ Dora Giammarresi; Antonio Restivo; Sebastian Seibert; Wolfgang Thomas 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 653 KB