Some Relationships between Unification, restricted Unification, and Matching.

Hans-Jürgen Bürckert

Published in: CADE (1986)

Keyphrases

higher order
equational theories
matching algorithm
feature points
matching process
neural network
multiscale
theorem prover
knuth bendix
database
machine learning
pairwise
pattern matching
graph matching
shape matching
causal relationships