✦ LIBER ✦

Fragments of Monadic Second-Order Logics Over Word Structures

✍ Scribed by Yassine Hachaïchi

Book ID: 108126374
Publisher: Elsevier Science
Year: 2005
Tongue: English
Weight: 263 KB
Volume: 123
Category: Article
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2004.05.014

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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.

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

Fragments of First-Order Logic over Infi

Fragments of First-Order Logic over Infinite Words

✍ Volker Diekert; Manfred Kufleitner 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 759 KB

Monadic Second-Order Logic over Rectangu

Monadic Second-Order Logic over Rectangular Pictures and Recognizability by Tiling Systems

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

The recursive sets in certain monadic se

The recursive sets in certain monadic second order fragments of arithmetic

✍ Siefkes, Dirk 📂 Article 📅 1975 🏛 Springer-Verlag ⚖ 593 KB