The following pages link to (Q4415259):
Displaying 5 items.
- \(\varSigma^{\mu}_2\) is decidable for \(\varPi^{\mu}_2\) (Q2011666) (← links)
- Mu-depth 3 is more than 2: A game-theoretic proof (Q2719798) (← links)
- (Q3384164) (← links)
- Regular tree languages in low levels of the Wadge hierarchy (Q5232909) (← links)
- Index Problems for Game Automata (Q5278187) (← links)