Paper: A Near-Minimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics (at LICS 2019)
Winner of the Kleene Award in 2019
Authors: Renaud Vilmart
Abstract
No Abstract Available
BibTeX
@InProceedings{Vilmart-ANearMinimalAxiomat, author = {Renaud Vilmart}, title = {A Near-Minimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics}, booktitle = {Proceedings of the Thirty fourth Annual IEEE Symposium on Logic in Computer Science (LICS 2019)}, year = {2019}, month = {June}, pages = {1--10}, location = {Vancouver}, publisher = {IEEE Computer Society Press} }