Automata, logics, and infinite games /

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Grädel, Erich, 1958-, Thomas, Wolfgang, 1947-, Wilke, Thomas, 1965-
Format:	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 mathématiques, Théorie des. Informatique > Mathématiques. Jeux, Théorie des. Logique symbolique et mathématique. Logica. Speltheorie. Automatentheorie. Electronic books.
Online Access:	Connect to the full text of this electronic book

Remote Storage