Automata, logics, and infinite games

Opis bibliograficzny
Kolejni autorzy: Grädel, Erich 1958-, Thomas, Wolfgang 1947-, Wilke, Thomas 1965-
Format: Książka
Język:angielski
Wydane: New York Springer c2002.
Seria:Lecture notes in computer science 2500.
Hasła przedmiotowe: