The following pages link to (Q2754186):
Displaying 5 items.
- A gap property of deterministic tree languages. (Q1401364) (← links)
- \(\varSigma^{\mu}_2\) is decidable for \(\varPi^{\mu}_2\) (Q2011666) (← links)
- Relating word and tree automata (Q2576943) (← links)
- The Non-deterministic Mostowski Hierarchy and Distance-Parity Automata (Q3519517) (← links)
- Index Problems for Game Automata (Q5278187) (← links)