Automata logics, and infinite games
: a guide to current research / Erich Grädel ... (ed.). - Berlin : Springer, 2002. - VIII, 385 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2500)
ISBN 978-3-540-00388-5 / 3-540-00388-6 kart. : EUR 48.15
Literaturverz. S. 365 - 376
Quelle: DNB
Automata logics, and infinite games
: a guide to current research / E. Grädel ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2500)
ISBN 978-3-540-36387-3
Lizenzpflichtig
Quelle: DNB