A Note on a Canonical Theory with Undecidable Unification and Matching Problem.

Alexander Bockmayr

Published in: J. Autom. Reason. (1987)

Keyphrases

matching algorithm
theoretical foundation
theoretical framework
graph matching
data sets
sufficient conditions
np complete
pattern matching
image matching
information theory
equational theories
formal theory
theorem prover
matching process
keypoints
search engine
neural network