K | |
---|---|
[Kir02] | Daniel Kirsten. Alternating tree automata and parity games. In Erich Grädel, Wolfgang Thomas, and Thomas Wilke (eds.), Automata, Logics, and Infinite Games, Lecture Notes in Computer Science 2500, pages 153-167. Springer-Verlag, 2002. |
Search
Displayed 1 resultList of authors
- 1