Rewriting modulo symmetric monoidal structure
From MaRDI portal
Publication:4635934
DOI10.1145/2933575.2935316zbMath1395.68162arXiv1602.06771OpenAlexW3103260150MaRDI QIDQ4635934
Fabio Gadducci, Fabio Zanasi, Paweł Sobociński, Filippo Bonchi, Aleks Kissinger
Publication date: 23 April 2018
Published in: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1602.06771
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (21)
Completeness of Nominal PROPs ⋮ Interacting Hopf algebras ⋮ String diagram rewrite theory II: Rewriting with symmetric monoidal structure ⋮ String Diagram Rewrite Theory I: Rewriting with Frobenius Structure ⋮ Free gs-monoidal categories and free Markov categories ⋮ A Category of Surface-Embedded Graphs ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Petri nets are dioids: a new algebraic foundation for non-deterministic net theory ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Confluence of Graph Rewriting with Interfaces ⋮ Graphical Conjunctive Queries. ⋮ Bialgebraic foundations for the operational semantics of string diagrams ⋮ String diagram rewrite theory III: Confluence with and without Frobenius
This page was built for publication: Rewriting modulo symmetric monoidal structure
