OXFORD UNIVERSITY COMPUTING LABORATORY

Backtracking games and inflationary fixed points

Anuj Dawar, Erich Grädel and Stephan Kreutzer

info

book title

31st International Colloquium on Automata, Languages and Programming (ICALP)

year

2004

links

BibTeX

related pages

people

Random Image
Random Image
Random Image