The following pages link to (Q4143272):
Displayed 9 items.
- Topological extension of parity automata (Q388217) (← links)
- Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems of Rabin, McNaughton and Safra (Q673778) (← links)
- Gurevich-Harrington's games defined by finite automata (Q685082) (← links)
- Counting branches in trees using games (Q729823) (← links)
- The structure of the models of decidable monadic theories of graphs (Q810005) (← links)
- Alternating automata on infinite trees (Q1098325) (← links)
- Infinite games on finitely coloured graphs with applications to automata on infinite trees (Q1276252) (← links)
- Progress measures, immediate determinacy, and a subset construction for tree automata (Q1337694) (← links)
- Fixpoints, games and the difference hierarchy (Q4462675) (← links)