50 citations · 180 across the 26 of their papers we have counts for
Showing 2015Show all
3 papers · 1 filter
cs.LO2015★ 4 cited
Equational reasoning with context-free families of string diagrams
Aleks Kissinger, Vladimir Zamdzhiev
String diagrams provide an intuitive language for expressing networks of interacting processes graphically. A discrete representation of string diagrams, called string graphs, allo…
cs.LO2015★ 36 cited
Quantomatic: A Proof Assistant for Diagrammatic Reasoning
Aleks Kissinger, Vladimir Zamdzhiev
Monoidal algebraic structures consist of operations that can have multiple outputs as well as multiple inputs, which have applications in many areas including categorical algebra,…
cs.LO2015★ 3 cited
!-Graphs with Trivial Overlap are Context-Free
Aleks Kissinger, Vladimir Zamdzhiev
String diagrams are a powerful tool for reasoning about composite structures in symmetric monoidal categories. By representing string diagrams as graphs, equational reasoning can b…