String Diagram Rewrite Theory I: Rewriting with Frobenius Structure.

Filippo Bonchi Fabio Gadducci Aleks Kissinger Pawel Sobocinski Fabio Zanasi

Published in: J. ACM (2022)

Keyphrases

theoretical framework
rewrite rules
query rewriting
database
logic programs
structural properties
geometric structure
special case
wireless sensor networks
state space
structural information
general theory
algebraic structure