Adding Algebraic Rewriting to the Calculus of Constructions: Strong Normalization Preserved.

Franco Barbanera

Published in: CTRS (1990)

Keyphrases

algebraic structure
presburger arithmetic
computer algebra
preprocessing
higher order
rewrite rules
genetic algorithm
data sets
information retrieval
information systems
database systems
query rewriting
qualitative spatial
queries using views