C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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