Backtracking games and inflationary fixed points
Anuj Dawar‚ Erich Grädel and Stephan Kreutzer
Details
| Book Title |
31st International Colloquium on Automata‚ Languages and Programming (ICALP) |
| Year |
2004 |
Links
Related pages
|
People |