Publications

Filter by type:

Alex Merry. Reasoning with !-graphs. DPhil thesis, 2014.

Alex Kissinger, Alex Merry, Matvey Soloviev. Pattern Graph Rewrite Systems. EPTCS 143, 2012.

Preprint PDF Proceedings

Bob Coecke, Alex Kissinger, Alex Merry, Shibdas Roy. The GHZ/W-calculus contains rational arithmetic. EPTCS 52, 2011.

Preprint PDF Proceedings