Equational Weighted Tree Transformations with Discounting.

Zoltán Fülöp George Rahonis

Published in: Algebraic Foundations in Computer Science (2011)

Keyphrases

tree structure
theorem proving
binary tree
weighted sum
maximum weight
tree grammars
neural network
index structure
tree structures
tree models
tree nodes
information retrieval
case study
hierarchical structure
b tree