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 | 66 | 2018 |
A universal completion of the ZX-calculus KF Ng, Q Wang arXiv preprint arXiv:1706.09877, 2017 | 52 | 2017 |
Completeness of the zx-calculus for pure qubit clifford+ t quantum mechanics KF Ng, Q Wang arXiv preprint arXiv:1801.07993, 2018 | 21 | 2018 |
A diagrammatic calculus of fermionic quantum circuits KF Ng, A Hadzihasanovic, G de Felice Logical Methods in Computer Science 15, 2019 | 5 | 2019 |
A diagrammatic axiomatisation of fermionic quantum circuits A Hadzihasanovic, G de Felice, KF Ng 3rd International Conference on Formal Structures for Computation and …, 2018 | 3 | 2018 |
A universal completion of the ZX-calculus.(2017) KF Ng, Q Wang arXiv preprint arXiv:1706.09877, 2017 | 3 | 2017 |
Completeness of the ZX-calculus KF Ng, Q Wang Presentation at 16th International Conference on Quantum Physics and Logic …, 2019 | 2 | 2019 |
Completeness of the ZW and ZX calculi KF Ng University of Oxford, 2018 | 1 | 2018 |
Zx-calculus KF Ng, Q Wang | | |