The Emptiness Problem for Weak Rabin Tree Automata

Jakub Neumann, Andrzej Szepietowski. The Emptiness Problem for Weak Rabin Tree Automata. In Jürgen Dassow, Detlef Wotschke, editors, Third International Workshop on Descriptional Complexity of Automata, Grammars and Related Structures - DCAGRS 2001, Vienna, Austria, July 20 - 22, 2001. Preproceedings. Volume Preprint Nr. 16 of pages 149-158, Fakultät für Informatik, Universität Magdeburg, Magdeburg, Germany, 2001.

Authors

Jakub Neumann

This author has not been identified. Look up 'Jakub Neumann' in Google

Andrzej Szepietowski

This author has not been identified. Look up 'Andrzej Szepietowski' in Google