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
972018
A universal completion of the ZX-calculus
KF Ng, Q Wang
arXiv preprint arXiv:1706.09877, 2017
652017
Completeness of the zx-calculus for pure qubit clifford+ t quantum mechanics
KF Ng, Q Wang
arXiv preprint arXiv:1801.07993, 2018
262018
A diagrammatic calculus of fermionic quantum circuits
G De Felice, A Hadzihasanovic, KF Ng
Logical Methods in Computer Science 15, 2019
102019
A universal completion of the ZX-calculus.(2017)
KF Ng, Q Wang
arXiv preprint arXiv:1706.09877, 2017
82017
A diagrammatic axiomatisation of fermionic quantum circuits
A Hadzihasanovic, G de Felice, KF Ng
3rd International Conference on Formal Structures for Computation and …, 2018
42018
Completeness of the ZX-calculus
KF Ng, Q Wang
Presentation at 16th International Conference on Quantum Physics and Logic …, 2019
32019
Completeness of the ZW and ZX calculi
K Ng
University of Oxford, 2018
22018
Zx-calculus
KF Ng, Q Wang
The system can't perform the operation now. Try again later.
Articles 1–9