Automata for guarded fixed point logics

Berwanger, Dietmar (Author); Blumensath, Achim (Author)

Berlin [u.a.] / Springer (2002) [Buchbeitrag, 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