K | |
---|---|
[Kir02] | Daniel Kirsten. Alternating tree automata and parity games. In Erich Grädel, Wolfgang Thomas et Thomas Wilke (eds.), Automata, Logics, and Infinite Games, Lecture Notes in Computer Science 2500, pages 153-167. Springer-Verlag, 2002. |
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1