清华大学计算机系量子软件研究中心
清华大学计算机系量子软件研究中心
新闻动态
团队成员
学术活动
论文发表
Ivan Renison
最新发表
Gilles Barthe
,
Minbo Gao
,
Jam Kabeer Ali Khan
,
Matthijs Muis
,
Ivan Renison
,
Keiya Sakabe
,
Michael Walter
,
Yingte Xu
,
Tianshi Yu
,
Li Zhou
(2026).
Complete Relational Logic for Infinite-Dimensional Quantum Programs with Unbounded Assertions
. 41st Annual Symposium on Logic in Computer Science (LICS 2026).
PDF
引用
DOI
DOI
arXiv
引用
×