A New Look at Generalized Rewriting in Type Theory.

Matthieu Sozeau

Published in: J. Formaliz. Reason. (2009)

Keyphrases

theoretical framework
real time
databases
query rewriting
approximation spaces
rewriting systems
data mining
database systems
artificial neural networks
general theory
formal theory
presburger arithmetic