20 citations · 46 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
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…
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…