Skip to main content

Backtracking games and inflationary fixed points

Anuj Dawar‚ Erich Grädel and Stephan Kreutzer

Book Title
31st International Colloquium on Automata‚ Languages and Programming (ICALP)
Year
2004