Intercalation Lemmas for Tree Transducer Languages.

C. Raymond Perrault

Published in: J. Comput. Syst. Sci. (1976)

Keyphrases

tree structure
expressive power
databases
hierarchical structure
theorem proving
language independent
data sets
machine learning
spanning tree
tree structures
database
data structure
theorem prover
tree search
binary tree
tree models