Automata Logics, and Infinite Games A Guide to Current Research

Bibliographic Details
Main Author: Grädel, Erich
Other Authors: Thomas, Wolfgang, Wilke, Thomas
Format: eBook
Published: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2002
Series:Lecture Notes in Computer Science
Subjects:
Online Access:
Collection: Lecture Notes in Computer Science - Collection details see MPG.ReNa
LEADER 00946nmm a2200265 u 4500
001 EB000286479
003 EBX01000000000000000052163
005 00000000000000.0
007 cr|||||||||||||||||||||
008 101003 |||
020 |a 9783540363873 
020 |a 978-3-540-00388-5 
100 1 |a Grädel, Erich 
245 0 0 |a Automata Logics, and Infinite Games  |h Elektronische Ressource  |b A Guide to Current Research  |c edited by Erich Grädel, Wolfgang Thomas, Thomas Wilke 
260 |a Berlin, Heidelberg  |b Springer-Verlag Berlin Heidelberg  |c 2002 
300 |b v. digital 
700 1 |a Thomas, Wolfgang 
700 1 |a Wilke, Thomas 
989 |b LNCS  |a Lecture Notes in Computer Science 
490 0 |a Lecture Notes in Computer Science 
856 4 0 |u http://dx.doi.org/10.1007/3-540-36387-4?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 004 
650 4 |a Computer science 
650 4 |a Computer Science 
650 4 |a Computer Science, general