Reductions in Higher-Order Rewriting and Their Equivalence.

Pablo Barenbaum Eduardo Bonelli

Published in: CSL (2023)

Keyphrases

higher order
datalog programs
high order
pairwise
markov random field
natural images
rewrite rules
efficient computation
queries using views
low order
conjunctive queries
lower order
markov models
lambda calculus
website
rewriting rules
data sets
query rewriting
belief propagation
regular path queries
data mining