Relating Nominal and Higher-Order Rewriting.

Jesús Domínguez Maribel Fernández

Published in: MFCS (1) (2014)

Keyphrases

higher order
high order
natural images
query rewriting
rewrite rules
rewriting rules
markov random field
queries using views
low order
conjunctive queries
pairwise
rewriting systems
neural network
conditional random fields
graph cuts
special case
lambda calculus
nominal attributes
presburger arithmetic