Login / Signup
Computing Simulations over Tree Automata.
Parosh Aziz Abdulla
Ahmed Bouajjani
Lukás Holík
Lisa Kaati
Tomás Vojnar
Published in:
TACAS (2008)
Keyphrases
</>
tree automata
regular expressions
finite automata
tree languages
finite state
database
finite automaton
databases
fuzzy logic
pattern matching
syntactic pattern recognition