清华大学计算机系量子软件研究中心
清华大学计算机系量子软件研究中心
新闻动态
团队成员
学术活动
论文发表
Zhaowei Xu
最新发表
Zhaowei Xu
,
Mingsheng Ying
,
Shenggang Ying
(2018).
A Logic for Recursive Quantum Programs
.
引用
arXiv
URL
引用
×