TY - RPRT TI - SZX-calculus: Scalable Graphical Quantum Reasoning AU - Titouan Carette AU - Dominic Horsman AU - Simon Perdrix PY - 2019 DO - 10.4230/lipics.mfcs.2019.55 UR - https://arxiv.org/abs/1905.00041 ID - 1905.00041 ER -