Follow
Kang Feng Ng
Title
Cited by
Cited by
Year
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
662018
A universal completion of the ZX-calculus
KF Ng, Q Wang
arXiv preprint arXiv:1706.09877, 2017
522017
Completeness of the zx-calculus for pure qubit clifford+ t quantum mechanics
KF Ng, Q Wang
arXiv preprint arXiv:1801.07993, 2018
212018
A diagrammatic calculus of fermionic quantum circuits
KF Ng, A Hadzihasanovic, G de Felice
Logical Methods in Computer Science 15, 2019
52019
A diagrammatic axiomatisation of fermionic quantum circuits
A Hadzihasanovic, G de Felice, KF Ng
3rd International Conference on Formal Structures for Computation and …, 2018
32018
A universal completion of the ZX-calculus.(2017)
KF Ng, Q Wang
arXiv preprint arXiv:1706.09877, 2017
32017
Completeness of the ZX-calculus
KF Ng, Q Wang
Presentation at 16th International Conference on Quantum Physics and Logic …, 2019
22019
Completeness of the ZW and ZX calculi
KF Ng
University of Oxford, 2018
12018
Zx-calculus
KF Ng, Q Wang
The system can't perform the operation now. Try again later.
Articles 1–9