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

Institutions

  • Mathematical Fundamentals of Computer Science (Logic and Complexity) Teaching and Research Area [117220]
  • Department of Mathematics [110000]

Identifier