Automata, logics, and infinite games /

Saved in:

Bibliographic Details
Other Authors:	Grädel, Erich, 1958-, Thomas, Wolfgang, 1947-, Wilke, Thomas, 1965-
Format:	Electronic eBook
Language:	English
Published:	Berlin ; New York : Springer, 2002.
Series:	Lecture notes in computer science 2500.
Subjects:	Computer science > Mathematics Machine theory Logic, Symbolic and mathematical Game theory Automates mathématiques, Théorie des. Informatique > Mathématiques. Jeux, Théorie des. Logique symbolique et mathématique. Logica. Speltheorie. Automatentheorie. Electronic books.

University of Minnesota

Holdings details from University of Minnesota
Call Number:	QA76.9.M35 A85 2002