The following pages link to (Q4536363):
Displayed 4 items.
- The monadic theory of morphic infinite words and generalizations (Q1854542) (← links)
- On decidability of monadic logic of order over the naturals extended by monadic predicates (Q2373700) (← links)
- Iterated pushdown automata and sequences of rational numbers (Q2498918) (← links)
- Model Transformations in Decidability Proofs for Monadic Theories (Q3540168) (← links)