Skip to main content

Rewriting modulo symmetric monoidal structure

Filippo Bonchi‚ Fabio Gadducci‚ Aleks Kissinger and Fabio Zanasi Pawełł Sobociński

Book Title
Proceedings of the 31st Annual ACM/IEEE symposium on Logic in Computer Science (LICS)
Year
2016