✦ LIBER ✦

Sequentiality, Monadic Second-Order Logic and Tree Automata

✍ Scribed by Hubert Comon

Book ID: 112252472
Publisher: Elsevier Science
Year: 2000
Tongue: English
Weight: 232 KB
Volume: 157
Category: Article
ISSN: 0890-5401
DOI: 10.1006/inco.1999.2838

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Groups, graphs, languages, automata, gam

Groups, graphs, languages, automata, games and second-order monadic logic

✍ Tullio Ceccherini-Silberstein; Michel Coornaert; Francesca Fiorenzi; Paul E. Sch 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 647 KB

Finite automata based on quantum logic a

Finite automata based on quantum logic and monadic second-order quantum logic

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

Monadic Second-Order Logic and Transitiv

Monadic Second-Order Logic and Transitive Closure Logics Over Trees

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

Ordering Constraints over Feature Trees

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

✍ Martin Müller; Joachim Niehren 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 557 KB

Circle graphs and monadic second-order l

Circle graphs and monadic second-order logic

✍ Bruno Courcelle 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 357 KB

This article is part of a project consisting in expressing, whenever possible, graph properties and graph transformations in monadic second-order logic or in its extensions using modulo p cardinality set predicates or auxiliary linear orders. A circle graph is the intersection graph of a set of chor

Monadic Second Order Logic And Its Fragm

Monadic Second Order Logic And Its Fragments

✍ Giacomo Lenzi 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 230 KB

Various recent results about monadic second order logic and its fragments are presented. These results have been obtained in the framework of the EU TMR Project GETGRATS.