✦ LIBER ✦

The Monadic Theory of Morphic Infinite Words and Generalizations

✍ Scribed by Olivier Carton; Wolfgang Thomas

Book ID: 112252692
Publisher: Elsevier Science
Year: 2002
Tongue: English
Weight: 162 KB
Volume: 176
Category: Article
ISSN: 0890-5401
DOI: 10.1006/inco.2001.3139

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Automaton transformations and monadic th

Automaton transformations and monadic theories of infinite sequences

✍ N. N. Korneeva 📂 Article 📅 2011 🏛 Allerton Press, Inc. 🌐 English ⚖ 461 KB

Determinization of Transducers over Infi

Determinization of Transducers over Infinite Words: The General Case

✍ Marie-Pierre Béal; Olivier Carton 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 277 KB

The Undecidability of Monadic Modal Quan

The Undecidability of Monadic Modal Quantification Theory

✍ Saul A. Kripke 📂 Article 📅 1962 🏛 John Wiley and Sons 🌐 English ⚖ 279 KB 👁 1 views

Monadic theory of order and topology, 1

✍ Yuri Gurevich 📂 Article 📅 1977 🏛 The Hebrew University Magnes Press 🌐 English ⚖ 865 KB

Some combinatorial properties of infinit

Some combinatorial properties of infinite words and applications to semigroup theory

✍ Giuseppe Pirillo; Stefano Varricchio 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 560 KB

This paper is concerned with finiteness conditions for finitely generated semigroups. First, we present a combinatorial result on infinite sequences from which an alternative proof of a theorem of Restivo and Reutenauer follows: a finitely generated semigroup is finite if and only if it is periodic

More on monadic logic. part C: Monadical

More on monadic logic. part C: Monadically interpreting in stable unsuperstable ℱ and the monadic theory of(^omega lambda )

✍ Saharon Shelah 📂 Article 📅 1990 🏛 The Hebrew University Magnes Press 🌐 English ⚖ 520 KB