Backtracking games and inflationary fixed points

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

Berlin [u.a.] : Springer (2004)
Contribution to a book, Contribution to a conference proceedings

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

Institutions

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

Identifier