G | |
---|---|
[GTW02] | Erich Grädel, Wolfgang Thomas, and Thomas Wilke. Automata Logics, and Infinite Games – A Guide to Current Research. Lecture Notes in Computer Science 2500. Springer-Verlag, 2002. |
Search
Displayed 1 resultList of authors
- 1
- 1
- 1
G | |
---|---|
[GTW02] | Erich Grädel, Wolfgang Thomas, and Thomas Wilke. Automata Logics, and Infinite Games – A Guide to Current Research. Lecture Notes in Computer Science 2500. Springer-Verlag, 2002. |