✦ LIBER ✦

Monadic second-order model-checking on decomposable matroids

✍ Scribed by Yann Strozecki

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the model-checking of monadic second-

✍ Bruno Courcelle 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 471 KB

Branch-width, parse trees, and monadic s

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

On second-order iterative monads

✍ Jiří Adámek; Stefan Milius; Jiří Velebil 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 374 KB

A note on undecidable extensions of mona

✍ Thomas, Wolfgang 📂 Article 📅 1975 🏛 Springer-Verlag ⚖ 118 KB

Finite automata based on quantum logic a

✍ YongMing Li 📂 Article 📅 2010 🏛 Science in China Press (SCP) 🌐 English ⚖ 239 KB

The monadic second-order logic of graphs

✍ Bruno Courcelle 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 282 KB