On the Emptiness Problem of Tree Automata and Completeness of Modal Logics of Programs.

Hubert Wagener

Browse the full CSL paper archive.