Treffer: Automata logics, and infinite games
Titel:
Automata logics, and infinite games : a guide to current research / Erich Grädel ... (eds.)
Beteiligt:
Veröffentlicht:
Berlin : Springer, 2002
Umfang:
VIII, 385 Seiten : Diagramme ; 24 cm
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture notes in computer science ; 2500 : Tutorial
alle Bände anzeigen
alle Bände anzeigen
Anmerkungen:
Literaturverzeichnis Seite 365 - 376
Schlagworte:
ISBN:
3540003886 ; 9783540003885