Automata, Logics, and Infinite Games: A Guide to Current Research (Lecture Notes in Computer Science)

Wolfgang

von: Erich Grädel · Wolfgang Thomas · Thomas Wilke

Springer Berlin Heidelberg · 2002

Taschenbuch

ISBN: 978-3-540-00388-5

ISBN-10: 3-540-00388-6