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.

Abstract

Abstract is missing.