Backtracking Games and Inflationary Fixed Points

Anuj Dawar, Erich Grädel, Stephan Kreutzer. Backtracking Games and Inflationary Fixed Points. In Josep Díaz, Juhani Karhumäki, Arto Lepistö, Donald Sannella, editors, Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings. Volume 3142 of Lecture Notes in Computer Science, pages 420-432, Springer, 2004. [doi]

Authors

Anuj Dawar

This author has not been identified. Look up 'Anuj Dawar' in Google

Erich Grädel

This author has not been identified. Look up 'Erich Grädel' in Google

Stephan Kreutzer

This author has not been identified. Look up 'Stephan Kreutzer' in Google