Automata, logics, and infinite games

ग्रंथसूची विवरण
अन्य लेखक: Grädel, Erich 1958-, Thomas, Wolfgang 1947-, Wilke, Thomas 1965-
स्वरूप: पुस्तक
भाषा:English
प्रकाशित: New York Springer c2002.
श्रृंखला:Lecture notes in computer science 2500.
विषय: