Polymorphic Rewriting Conserves Algebraic Strong Normalization.

Val Tannen Jean H. Gallier

Published in: Theor. Comput. Sci. (1991)

Keyphrases

preprocessing
rewrite rules
rewriting rules
database
databases
higher order
neural network
high level
image sequences
feature extraction
search algorithm
query rewriting
datalog programs
image normalization
presburger arithmetic