An LPO-based Termination Ordering for Higher-Order Terms without lambda-abstraction.

Maxim Lifantsev Leo Bachmair

Published in: TPHOLs (1998)

Keyphrases

higher order
high order
natural images
pairwise
lambda calculus
computer vision
information systems
high level
multiscale
conditional random fields
fixed point
partial order