Similar Items: String Diagrams for Premonoidal Categories
- String diagrams for Strictification and Coherence
- 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
- Decreasing Diagrams for Confluence and Commutation
- Addition and Differentiation of ZX-diagrams