The Undecidability of the Unification and Matching Problem for Canonical Theories.

Stephan Heilbrunner Steffen Hölldobler

Published in: Acta Informatica (1987)

Keyphrases

matching algorithm
equational theories
image matching
theoretical framework
pattern matching
higher order
description logics
d objects
matching process
feature matching
matching scheme
database
feature points
keypoints
data sets
graph matching
image pairs
shape matching
defeasible logic