Automata for guarded fixed point logics
Berwanger, Dietmar; Blumensath, Achim
Berlin [u.a.] : Springer (2002)
Contribution to a book, Contribution to a conference proceedings
In: Automata, logics, and infinite games : a guide to current research / Erich Grädel; Wolfgang Thomas; Thomas Wilke (ed.)
Page(s)/Article-Nr.: 343-355
Identifier
- DOI: 10.1007/3-540-36387-4_19
- RWTH PUBLICATIONS: RWTH-CONV-189077