Relating Higher-order and First-order Rewriting.

Eduardo Bonelli Delia Kesner Alejandro Ríos

Published in: J. Log. Comput. (2005)

Keyphrases

higher order
natural images
high order
pairwise
rewrite rules
low order
markov random field
query rewriting
lower order
first order logic
conditional random fields
expressive power
integrity constraints
termination analysis