Automata, Logics, and Infinite Games
de Erich Grädel, Wolfgang Thomas, Thomas Wilke
Ediciones (1)
- Automata, Logics, and Infinite Games (2003)
Springer London, Limited · inglés · ISBN 9783540363873
de Erich Grädel, Wolfgang Thomas, Thomas Wilke
Springer London, Limited · inglés · ISBN 9783540363873