Higher-Order Equational Unification via Explicit Substitutions.

Claude Kirchner Christophe Ringeissen

Published in: ALP/HOA (1997)

Keyphrases

higher order
theorem proving
equational theories
high order
pairwise
markov random field
natural images
anti unification
theorem prover
case study
low order
lower order
database
markov models
lambda calculus
information extraction
computer vision
belief propagation
data sets
real time