Rewriting modulo symmetric monoidal structure.

Filippo Bonchi Fabio Gadducci Aleks Kissinger Pawel Sobocinski Fabio Zanasi

Published in: LICS (2016)

Keyphrases

database
data sets
structural information
real time
social networks
multiscale
support vector
hierarchical structure
conjunctive queries