Quantum Hoare Logic

MaRDI QIDQ7361944FDO

Authors Junyi Liu, Bohua Zhan, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying, Naijun Zhan

Publication date 24 March 2019

Cited in

(3)

• Two Theorems on Hermitian Matrices
• Uncertainty Principle
• Quantum projective measurements and the CHSH inequality

This page was built for software: Quantum Hoare Logic