Two complete axiomatisations of pure-state qubit quantum computing A Hadzihasanovic, KF Ng, Q Wang Proceedings of the 33rd annual ACM/IEEE symposium on logic in computer …, 2018 | 97 | 2018 |
A universal completion of the ZX-calculus KF Ng, Q Wang arXiv preprint arXiv:1706.09877, 2017 | 70 | 2017 |
Completeness of the ZX-calculus for pure qubit clifford+ t quantum mechanics KF Ng, Q Wang arXiv preprint arXiv:1801.07993, 2018 | 25 | 2018 |
A diagrammatic calculus of fermionic quantum circuits G De Felice, A Hadzihasanovic, KF Ng Logical Methods in Computer Science 15, 2019 | 11 | 2019 |
A universal completion of the ZX-calculus.(2017) KF Ng, Q Wang URL: http://arxiv. org/abs/1706.09877, 2017 | 7 | 2017 |
A diagrammatic axiomatisation of fermionic quantum circuits A Hadzihasanovic, G de Felice, KF Ng 3rd International Conference on Formal Structures for Computation and …, 2018 | 4 | 2018 |
Completeness of the ZX-calculus KF Ng, Q Wang Presentation at 16th International Conference on Quantum Physics and Logic …, 2019 | 3 | 2019 |
Completeness of the ZW and ZX calculi K Ng University of Oxford, 2018 | 2 | 2018 |
Zx-calculus KF Ng, Q Wang | | |