The following pages link to Automata on infinite trees (Q2074210):
Displaying 9 items.
- Alternating automata on infinite trees (Q1098325) (← links)
- A game-theoretic approach for the synthesis of complex systems (Q2104251) (← links)
- Synthesis in presence of dynamic links (Q2105465) (← links)
- Prolog infinite trees and automata (Q3991295) (← links)
- PUSHDOWN AUTOMATA ON INFINITE TREES AND NONDETERMINISTIC CONTEXT-FREE PROGRAMS (Q4020278) (← links)
- (Q4510804) (← links)
- (Q4695499) (← links)
- (Q4793134) (← links)
- The Power-Set Construction for Tree Algebras (Q6178675) (← links)