Automata logics, and infinite games : a guide to current research
Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.)
Bok Engelsk 2002
| Annen tittel | |
|---|---|
| Utgitt | Berlin : Springer , c2002
|
| Omfang | VIII, 385 s. : ill.
|
| Opplysninger | Bidrag fra et seminar holdt ved Schloß Dagstuhl i febr. 2001
|
| Emner | |
| Dewey | |
| ISBN | 3540003886
|
