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
Börger, Egon: The classical decision problem
/ Egon Boerger ; Erich Grädel ; Yuri Gurevich. - Berlin : Springer, 1997. - XII, 482 S. : graph. Darst.; 24 cm - (Perspectives in mathematical logic)
ISBN 978-3-540-57073-8 / 3-540-57073-X Pp. : DM 158.00
Literaturverz. S. 421 - 476
Quelle: DNB
Börger, Egon: The classical decision problem
/ Egon Börger ; Erich Grädel ; Yuri Gurevich. - 2. printing of the 1. ed. - Berlin : Springer, 2001. - X, 482 S. : graph. Darst.; 24 cm - (Universitext)
ISBN 978-3-540-42324-9 / 3-540-42324-9 kart. : DM 96.19
Quelle: DNB
Finite model theory and its applications
: with 2 tables / Erich Grädel .... - Berlin : Springer, 2007. - Online-Ressource - (Texts in theoretical computer science)
ISBN 978-3-540-68804-4
Lizenzpflichtig
Quelle: DNB
