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

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Ahmed Bouajjani' in GoogleThis author has not been identified. Look up 'Peter Habermehl' in GoogleThis author has not been identified. Look up 'Lukás Holík' in GoogleThis author has not been identified. It may be one of the following persons:

Tayssir Touili

Look up 'Tayssir Touili' in GoogleThis author has not been identified. Look up 'Tomás Vojnar' in Google

runs on WebDSL