Pages that link to "Item:Q4412839"
From MaRDI portal
The following pages link to The Monadic Theory of Tree-like Structures (Q4412839):
Displayed 6 items.
- On the structure of graphs in the Caucal hierarchy (Q930912) (← links)
- Iterated pushdown automata and sequences of rational numbers (Q2498918) (← links)
- Simple monadic theories and partition width (Q3170562) (← links)
- A Hierarchy of Automatic<i>ω</i>-Words having a Decidable MSO Theory (Q3526410) (← links)
- Model Transformations in Decidability Proofs for Monadic Theories (Q3540168) (← links)
- On Monadic Theories of Monadic Predicates (Q3586024) (← links)