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
Identifikationsnummern
- DOI: 10.1007/3-540-36387-4_19
- REPORT NUMBER: RWTH-CONV-189077