The following pages link to (Q2757822):
Displaying 8 items.
- The guarding game is E-complete (Q389949) (← links)
- Monadic partition logics and finite automata (Q671644) (← links)
- Classifying regular languages by a split game (Q1022599) (← links)
- Arity and alternation in second-order logic (Q1919768) (← links)
- Arity hierarchies (Q2563982) (← links)
- An application of the Ehrenfeucht-Fraisse game in formal language theory (Q3347321) (← links)
- Complete Axiomatizations of MSO, FO(TC 1 ) and FO(LFP 1 ) on Finite Trees (Q3605529) (← links)
- Comparing the Power of Games on Graphs (Q4366126) (← links)