Backtracking games and inflationary fixed points

Dawar, Anuj; Grädel, Erich; Kreutzer, Stephan

Berlin [u.a.] : Springer (2004)
Buchbeitrag, Beitrag zu einem Tagungsband

In: Automata, languages and programming : 31st international colloquium, ICALP 2004, Turku, Finland, July 12 - 16, 2004 ; proceedings / Josep Díaz ... (eds.)
Seite(n)/Artikel-Nr.: 420-432