Similar Items: String diagrams for Strictification and Coherence
- String Diagrams for Premonoidal Categories
- Normalization for planar string diagrams and a quadratic equivalence algorithm
- A Finite Axiomatisation of Finite-State Automata Using String Diagrams
- Power of Randomization in Automata on Infinite Strings
- Addition and Differentiation of ZX-diagrams
- Decreasing Diagrams for Confluence and Commutation