Decidability of Arity-Bounded Higher-Order Matching.

Manfred Schmidt-Schauß

Published in: CADE (2003)

Keyphrases

higher order
high order
natural images
matching algorithm
matching process
pairwise
graph matching
databases
feature points
decision procedures
description logics
low order
pattern matching
shape matching
lambda calculus
matching scheme
logic programs
markov random field
expert systems
object recognition