20 citations · 46 across the 3 of their papers we have counts for
3 papers
cs.LO2014★ 9 cited
Reasoning with !-Graphs
Alexander Merry
The aim of this thesis is to present an extension to the string graphs of Dixon, Duncan and Kissinger that allows the finite representation of certain infinite families of graphs a…
math.CT2012★ 17 cited
Pattern graph rewrite systems
Aleks Kissinger, Alex Merry, Matvey Soloviev
String diagrams are a powerful tool for reasoning about physical processes, logic circuits, tensor networks, and many other compositional structures. Dixon, Duncan and Kissinger in…
cs.LO2011★ 20 cited
The GHZ/W-calculus contains rational arithmetic
Bob Coecke, Aleks Kissinger, Alex Merry +1
Graphical calculi for representing interacting quantum systems serve a number of purposes: compositionally, intuitive graphical reasoning, and a logical underpinning for automation…