Higher-Order Termination: from Kruskal to Computability

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

Published in: CoRR (2006)

Keyphrases

higher order
natural images
high order
term rewriting
low order
markov random field
computer vision
pairwise
markov models
anti unification
minimum spanning tree
database systems
high level
conditional random fields
multi agent
image sequences
lower order
databases
rewrite systems
database