Automata for guarded fixed point logics

Berlin [u.a.] / Springer (2002) [Beitrag zu einem Tagungsband]

Automata, logics, and infinite games : a guide to current research / Erich Grädel; Wolfgang Thomas; Thomas Wilke (ed.)
Seite(n): 343-355

Autorinnen und Autoren

Autorinnen und Autoren

Berwanger, Dietmar
Blumensath, Achim

Identifikationsnummern