Pages that link to "Item:Q5058366"
From MaRDI portal
The following pages link to String diagram rewrite theory II: Rewriting with symmetric monoidal structure (Q5058366):
Displaying 6 items.
- Quantomatic: A Proof Assistant for Diagrammatic Reasoning (Q3454104) (← links)
- String Diagram Rewrite Theory I: Rewriting with Frobenius Structure (Q5066951) (← links)
- String diagram rewrite theory III: Confluence with and without Frobenius (Q5879265) (← links)
- An axiomatic approach to differentiation of polynomial circuits (Q6052943) (← links)
- A categorical approach to synthetic chemistry (Q6605361) (← links)
- Truth diagrams for some non-classical and modal logics (Q6650730) (← links)