Automata, logics, and infinite games
By: Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.).
Contributors: Grädel, Erich, 1958-; Thomas, Wolfgang, 1947-; Wilke, Thomas, 1965-
Series: Lecture notes in computer science -- 2500.
Publisher: Springer
Published: 2002
Place of publication: New York
Language: eng
Number of pages: 385
Subjects: Computer science -- Mathematics; Machine theory; Logic, Symbolic and mathematical; Game theory
Notes: Includes index.