Automata, logics, and infinite games : a guide to current research /

Other Authors: Gradel, Erich,, Thomas, Wolfgang,, Wilke, Thomas,
Format: Book
Published: Berlin: Springer, 2002
Series:Lecture notes in computer science ; 2500
Subjects:
Physical Description:viii, 385 p. : ill. ; ; 24 cm.
Bibliography:Includes bibliographical references (p. [365]-376) and index.
ISBN:3540003886