The following pages link to (Q4036177):
Displaying 5 items.
- Alternating tree automata (Q1077932) (← links)
- Stochastically costed tree automata: Turakainen's theorem (Q1351787) (← links)
- Emptiness Of Alternating Tree Automata Using Games With Imperfect Information (Q2963922) (← links)
- (Q4273870) (← links)
- Alternating Tree Automata and Parity Games (Q4412832) (← links)