Automata, logics, and infinite games

Manylion Llyfryddiaeth
Awduron Eraill: Grädel, Erich 1958-, Thomas, Wolfgang 1947-, Wilke, Thomas 1965-
Fformat: Llyfr
Iaith:English
Cyhoeddwyd: New York Springer c2002.
Cyfres:Lecture notes in computer science 2500.
Pynciau: