String Diagram Rewriting Modulo Commutative (Co)Monoid Structure.

Aleksandar Milosavljevic Robin Piedeleu Fabio Zanasi

Published in: CALCO (2023)

Keyphrases

database
pattern matching
structural properties
special case
hierarchical structure
rewrite rules