Paper: A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics (at LICS 2018)
Authors: Emmanuel Jeandel Simon Perdrix Renaud Vilmart
Abstract
No Abstract Available
BibTeX
@InProceedings{JeandelPerdrixVilma-ACompleteAxiomatisa, author = {Emmanuel Jeandel and Simon Perdrix and Renaud Vilmart}, title = {A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics}, booktitle = {Proceedings of the Thirty third Annual IEEE Symposium on Logic in Computer Science (LICS 2018)}, year = {2018}, month = {July}, pages = {559--568}, location = {Oxford}, publisher = {IEEE Computer Society Press} }