Higher-Order Termination: From Kruskal to Computability.

Frédéric Blanqui Jean-Pierre Jouannaud Albert Rubio

Published in: LPAR (2006)

Keyphrases

higher order
high order
pairwise
natural images
low order
conditional random fields
markov models
rewrite systems
minimum spanning tree
lambda calculus
term rewriting
termination analysis
data sets
markov random field
expert systems
computer vision
neural network