Found 2 Documents (Results 1–2)
A complete axiomatisation of the ZX-calculus for Clifford+T quantum mechanics. (English) Zbl 1452.81080
Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 559-568 (2018).
Filter Results by …
Document Type
- Journal Articles (1)
- Collection Articles (1)
Author
- Jeandel, Emmanuel (2)
- Perdrix, Simon (2)
- Vilmart, Renaud (2)
Software
- Quantomatic (1)