Lecture Notes in Computer Science
Volume 2500, 2002, DOI: 10.1007/3-540-36387-4

Automata Logics, and Infinite Games
A Guide to Current Research

Erich Grädel, Wolfgang Thomas and Thomas Wilke

Contents

Viewing all 20 chapters

About This Book

Title
Automata Logics, and Infinite Games
A Guide to Current Research
Editors
Collection
Computer Science
Subjects
None Assigned
Copyright Year
2002
DOI
10.1007/3-540-36387-4
ISBN
978-3-540-00388-5
Additional Links
Publisher
Springer Berlin / Heidelberg
SpringerLink Date
Saturday, August 02, 2003

About This Book Series

Title
Lecture Notes in Computer Science
Coverage
Volume 1 / 1973 - Volume 7260 / 2012
Collection
Computer Science
Subjects
ISSN
0302-9743 (Print)
1611-3349 (Online)
Additional Links
Publisher
Springer Berlin / Heidelberg
SpringerLink Date
Friday, April 05, 2002