Composed Bisimulation for Tree Automata.

Parosh Aziz Abdulla Ahmed Bouajjani Lukás Holík Lisa Kaati Tomás Vojnar

Published in: Int. J. Found. Comput. Sci. (2009)

Keyphrases

tree automata
regular expressions
finite automata
finite state
tree languages
finite automaton
syntactic pattern recognition
context free grammars
database systems
high level