Equational tree transformations.

Symeon Bozapalidis Zoltán Fülöp George Rahonis

Published in: Theor. Comput. Sci. (2011)

Keyphrases

tree structure
b tree
tree grammars
index structure
theorem proving
artificial intelligence
equational theories
tree models
binary tree
tree search
tree structures
information systems
computer vision
data sets
r tree
special case
multiscale