Multi-Focusing on Extensional Rewriting with Sums.

Gabriel Scherer

Published in: TLCA (2015)

Keyphrases

real time
data sets
artificial neural networks
query optimization
databases
clustering algorithm
special case
rewriting rules
rewriting systems