Pages that link to "Item:Q1854542"

The following pages link to The monadic theory of morphic infinite words and generalizations (Q1854542):

Displaying 21 items.

• On a question of Hof, Knill and Simon on palindromic substitutive systems (Q258070) (← links)
• The Church problem for expansions of \((\mathbb{N},<)\) by unary predicates (Q690498) (← links)
• Regular sets over extended tree structures (Q764339) (← links)
• Multidimensional generalized automatic sequences and shape-symmetric morphic words (Q966022) (← links)
• Pro-aperiodic monoids via saturated models (Q2279939) (← links)
• On Boolean closed full trios and rational Kripke frames (Q2363961) (← links)
• Operations preserving regular languages (Q2368978) (← links)
• On decidability of monadic logic of order over the naturals extended by monadic predicates (Q2373700) (← links)
• The monadic theory of finite representations of infinite words (Q2379951) (← links)
• 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05 (Q3430941) (← links)
• A Hierarchy of Automatic<i>ω</i>-Words having a Decidable MSO Theory (Q3526410) (← links)
• On Monadic Theories of Monadic Predicates (Q3586024) (← links)
• Decidable Extensions of Church’s Problem (Q3644764) (← links)
• ON UNIFORMLY RECURRENT MORPHIC SEQUENCES (Q3646174) (← links)
• (Q4585066) (← links)
• Pro-aperiodic monoids via saturated models (Q4636638) (← links)
• From Combinatorial Games to Shape-Symmetric Morphisms (Q5141334) (← links)
• Decidable Expansions of Labelled Linear Orderings (Q5892516) (← links)
• Decidable problems in substitution shifts (Q6126479) (← links)
• Decidability for Sturmian words (Q6597962) (← links)
• The monadic theory of toric words (Q6652470) (← links)