The following pages link to On automata on infinite trees (Q1186604):
Displaying 14 items.
- Automata on infinite objects and their applications to logic and programming (Q582913) (← links)
- The poset of infinitary traces (Q689293) (← links)
- Variétés d'automates descendants d'arbres infinis (Q1079382) (← links)
- Topological characterizations of infinite tree languages (Q1092675) (← links)
- Alternating automata on infinite trees (Q1098325) (← links)
- Generalized automata on infinite trees and Muller-McNaughton's theorem (Q1178688) (← links)
- Weak Muller acceptance conditions for tree automata (Q1770388) (← links)
- Automata on infinite trees with counting constraints (Q1898484) (← links)
- (Q3975166) (← links)
- Prolog infinite trees and automata (Q3991295) (← links)
- (Q4510804) (← links)
- (Q4695499) (← links)
- (Q4793134) (← links)
- Automata on infinite trees with counting constraints (Q5044742) (← links)