Search the dblp DataBase

Publications of Author

1. 
   Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation. [Citation Graph (, )][DBLP]
   
   
2. 
   Graph States and the Necessity of Euler Decomposition. [Citation Graph (, )][DBLP]
   
   
3. 
   Interacting Quantum Observables. [Citation Graph (, )][DBLP]
   
   
4. 
   Rewriting Measurement-Based Quantum Computations with Generalised Flow. [Citation Graph (, )][DBLP]
   
   
5. 
   Graphical reasoning in compact closed categories for quantum computation. [Citation Graph (, )][DBLP]
   
   
6. 
   A Categorical Quantum Logic [Citation Graph (, )][DBLP]
   
   
7. 
   Graphical Reasoning in Compact Closed Categories for Quantum Computation [Citation Graph (, )][DBLP]
   
   
8. 
   Generalised Proof-Nets for Compact Categories with Biproducts [Citation Graph (, )][DBLP]
   
   
9. 
   Open Graphs and Computational Reasoning [Citation Graph (, )][DBLP]