12 citations · 39 across the 13 of their papers we have counts for
Showing 2022Show all
3 papers · 1 filter
cs.LO2022★ 5 cited
A Finite Axiomatisation of Finite-State Automata Using String Diagrams
Robin Piedeleu, Fabio Zanasi
We develop a fully diagrammatic approach to finite-state automata, based on reinterpreting their usual state-transition graphical representation as a two-dimensional syntax of stri…
cs.LO2022★ 2 cited
A Complete Diagrammatic Calculus for Boolean Satisfiability
Tao Gu, Robin Piedeleu, Fabio Zanasi
We propose a calculus of string diagrams to reason about satisfiability of Boolean formulas, and prove it to be sound and complete. We then showcase our calculus in a few case stud…
cs.LO2022★ 1 cited
Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure
Aleksandar Milosavljevic, Robin Piedeleu, Fabio Zanasi
String diagrams are pictorial representations for morphisms of symmetric monoidal categories. They constitute an intuitive and expressive graphical syntax, which has found applicat…