On the Relationship of Congruence Closure and Unification.

Paris C. Kanellakis Peter Z. Revesz

Published in: J. Symb. Comput. (1989)

Keyphrases

higher order
data mining
special case
hidden markov models
database
real time
databases
genetic algorithm
decision trees
image segmentation
high level