Unification of Kinded Infinite Trees.

Vasco Thudichum Vasconcelos

Published in: Inf. Process. Lett. (1995)

Keyphrases

decision trees
tree structure
theorem proving
higher order
tree models
theorem prover
real time
tree structured data
tree automata
equational theories
database
binary trees
tree edit distance
binary tree
first order logic
training data
website
neural network
databases
data sets