Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata

Ahmed Bouajjani, Peter Habermehl, Lukás Holík, Tayssir Touili, Tomás Vojnar. Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata. In Oscar H. Ibarra, Bala Ravikumar, editors, Implementation and Applications of Automata, 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings. Volume 5148 of Lecture Notes in Computer Science, pages 57-67, Springer, 2008. [doi]

Abstract

Abstract is missing.