Backtracking games and inflationary fixed points

Dawar, Anuj (Author); Grädel, Erich (Author); Kreutzer, Stephan (Author)

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

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