Automata, logics, and infinite games
Automata, logics, and infinite games
Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.).
- New York : Springer, 2002.
- viii, 385 p. : ill. ; 24 cm.
- Lecture notes in computer science ; 2500 .
Includes bibliographical references (p. [365]-376) and index.
3540003886 (alk. paper) = EECS-reference book collection
2002044587
Computer science--Mathematics.
Machine theory.
Logic, Symbolic and mathematical.
Game theory.
QA76.9.M35 / A85 2002
004 G75A
Includes bibliographical references (p. [365]-376) and index.
3540003886 (alk. paper) = EECS-reference book collection
2002044587
Computer science--Mathematics.
Machine theory.
Logic, Symbolic and mathematical.
Game theory.
QA76.9.M35 / A85 2002
004 G75A