Sign in
On the Role of Names in Reasoning about lambda-tree Syntax Specifications.
Alwen Tiu
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