Automata, Logics, and Infinite Games
A Guide to Current Research
Edición de la obra Automata, Logics, and Infinite Games
| Autor | Erich Grädel, Wolfgang Thomas, Thomas Wilke |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2003 |
| Idioma | inglés |
| ISBN-13 | 9783540363873 |
| Número de Cutter | G732a |