清华大学计算机系量子软件研究中心
清华大学计算机系量子软件研究中心
新闻动态
团队成员
学术活动
论文发表
Huiwen Wu
最新发表
Xin Sun
,
Xingchi Su
,
Xiaoning Bian
,
Huiwen Wu
(2026).
Weakest precondition calculus and relative completeness of satisfaction-based quantum Hoare logic
. Quantum Information Processing.
引用
DOI
DOI
引用
×