EasyChair Smart Slide
A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics
A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics