Progress Measures, Immediate Determinacy, and a Subset Construction for Tree Automata

Nils Klarlund

Browse the full LICS paper archive.