Polymorphic Rewriting Conserves Algebraic Strong Normalization and Confluence.

Val Tannen Jean H. Gallier

Published in: ICALP (1989)

Keyphrases

algebraic structure
presburger arithmetic
data sets
databases
normalization method
rewrite rules
conjunctive queries
high level
multi agent
rewriting rules
artificial neural networks
preprocessing
search algorithm
database
case study
image processing
information systems
search engine
machine learning
real time