Automata, logics, and infinite games
Subtitle: a guide to current research
By: Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.).
Contributors: Grädel, Erich, 1958-; Thomas, Wolfgang, 1947-; Wilke, Thomas, 1965-
Series: Lecture notes in computer science -- 2500. -- Lecture notes in artificial intelligence; Lecture notes in computer science -- 2500; Lecture notes in computer science
Publisher: Springer
Published: 2002
Place of publication: Berlin; New York
Language: eng
Number of pages: 385
Subjects: Computer science -- Mathematics.; Machine theory.; Logic, Symbolic and mathematical.; Game theory.
Notes: Includes bibliographical references (p. [365]-376) and index.

Also available via the World Wide Web.