Equational weighted tree transformations.

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

Published in: Acta Informatica (2012)

Keyphrases

tree structure
tree grammars
r tree
maximum weight
tree construction
index structure
website
information systems
artificial intelligence
special case
optimal solution
database
theorem prover
weighted sum
tree search
tree models
equational theories