Matching - A Special Case of Unification?

Hans-Jürgen Bürckert

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

Keyphrases

special case
matching algorithm
pattern matching
image matching
real world
theorem proving
higher order
computational complexity
computer vision
neural network
image sequences
image processing
data mining
graph matching
approximation algorithms
matching process
affine invariant
feature matching
optimal matching