Implementing beta-reduction by hypergraph rewriting.

Published in: Electron. Notes Theor. Comput. Sci. (1995)

Keyphrases

higher order
pairwise
query rewriting
data sets
rewrite rules
rewriting rules
hypergraph model
information systems
image segmentation
similarity measure
multiscale
expert systems
np hard
efficient implementation
datalog programs
presburger arithmetic