On the Role of Names in Reasoning about lambda-tree Syntax Specifications.

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

operational semantics
high level
attribute grammars
tree structure
binary tree
spatial reasoning
fixed point
b tree
named entities
neural network
formal specification
association rules
decision trees
genetic algorithm
tree construction
semantic constraints
machine learning