Skip to main content

Backtracking Games and Inflationary Fixed Points

Anuj Dawar‚ Erich Grädel and Stephan Kreutzer

Journal
Theoretical Computer Science
Note
ICALP 2004 Selected Paper issue
Number
2−3
Pages
171 – 187
Volume
350
Year
2006