Automata, logics, and infinite games

Bibliografische gegevens
Andere auteurs: Grädel, Erich 1958-, Thomas, Wolfgang 1947-, Wilke, Thomas 1965-
Formaat: Boek
Taal:Engels
Gepubliceerd in: New York Springer c2002.
Reeks:Lecture notes in computer science 2500.
Onderwerpen: