Unification and Matching Modulo Leaf-Permutative Equational Presentations.

Thierry Boy de la Tour Mnacho Echenim Paliath Narendran

Published in: IJCAR (2008)

Keyphrases

equational theories
theorem proving
theorem prover
matching algorithm
pattern matching
matching process
databases
multimedia
higher order
image matching
graph matching
optimal matching
e learning
image registration
template matching
matching scheme