(Q30040294)
Statements
Infinite games on finitely coloured graphs with applications to automata on infinite trees (English)
1 reference
Wieslaw Zielonka
1 reference
June 1998
1 reference
200
1 reference
1-2
1 reference
135-183
1 reference