Simulation-Based Iteration of Tree Transducers.

Parosh Aziz Abdulla Axel Legay Julien d'Orso Ahmed Rezine

Published in: TACAS (2005)

Keyphrases

tree structure
binary tree
index structure
database
hierarchical structure
tree structured data
finite state automata
image sequences
data structure
special case
leaf nodes
tree search
pruning algorithm
tree construction
tree models