Pages that link to "Item:Q4635934"
From MaRDI portal
The following pages link to Rewriting modulo symmetric monoidal structure (Q4635934):
Displaying 22 items.
- Interacting Hopf algebras (Q308156) (← links)
- Petri nets are dioids: a new algebraic foundation for non-deterministic net theory (Q1713413) (← links)
- Bialgebraic foundations for the operational semantics of string diagrams (Q2051792) (← links)
- Confluence of Graph Rewriting with Interfaces (Q2988637) (← links)
- (Q3384925) (← links)
- (Q3384926) (← links)
- (Q3385623) (← links)
- A practical type theory for symmetric monoidal categories (Q5006460) (← links)
- (Q5018498) (← links)
- (Q5019680) (← links)
- String diagram rewrite theory II: Rewriting with symmetric monoidal structure (Q5058366) (← links)
- String Diagram Rewrite Theory I: Rewriting with Frobenius Structure (Q5066951) (← links)
- Graphical Conjunctive Queries. (Q5079736) (← links)
- Rewriting with Frobenius (Q5145289) (← links)
- (Q5875356) (← links)
- (Q5875359) (← links)
- (Q5875361) (← links)
- (Q5875399) (← links)
- String diagram rewrite theory III: Confluence with and without Frobenius (Q5879265) (← links)
- Completeness of Nominal PROPs (Q5883754) (← links)
- Free gs-monoidal categories and free Markov categories (Q6102159) (← links)
- A Category of Surface-Embedded Graphs (Q6150141) (← links)