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
Identifikationsnummern
- DOI: 10.1007/978-3-540-27836-8_37
- REPORT NUMBER: RWTH-CONV-189119