The following pages link to (Q4202929):
Displayed 6 items.
- Monadic partition logics and finite automata (Q671644) (← links)
- Classifying regular languages by a split game (Q1022599) (← links)
- On the power of tree-walking automata. (Q1401944) (← links)
- Automata on finite trees (Q2074209) (← links)
- Characterizing weighted MSO for trees by branching transitive closure logics (Q2355685) (← links)
- Monadic Second-Order Logic and Transitive Closure Logics over Trees (Q4917997) (← links)