The Complexity of Tree Automata and Logics of Programs (Extended Abstract)

E. Allen Emerson, Charanjit S. Jutla

Browse the full FOCS paper archive.