The Emptiness Problem for Automata on Infinite Trees

R. Hossley, Charles Rackoff

Browse the full FOCS paper archive.