Proving Quantum Programs Correct
Proving Quantum Programs Correct
复制标题
证明量子程序的正确性
DOI：
--
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Hicks, Michael
中科院分区：
文献类型：
--
作者：
Hietala, Kesha;Rand, Robert;Hung, Shih-Han;Li, Liyi;Hicks, Michael
登录
查看更多内容
影响因子：
5.7
作者：
Wang, Yazhen
通讯作者：
Wang, Yazhen
深度学习表现力的形式化证明
DOI：
10.1007/s10817-018-9481-5
发表时间：
2018
期刊：
Journal of Automated Reasoning
影响因子：
--
作者：
Alexander Bentkamp;J. Blanchette;D. Klakow
通讯作者：
D. Klakow
迈向形式验证的函数式量子编程语言
DOI：
--
发表时间：
2010
期刊：
影响因子：
--
作者：
A. S. Green
通讯作者：
A. S. Green
ReQWIRE：可逆量子电路的推理
DOI：
--
发表时间：
2019
期刊：
QPL
影响因子：
--
作者：
Robert Rand;Jennifer Paykin;Dong;Steve Zdancewic
通讯作者：
Steve Zdancewic
DOI：
10.1007/s10817-020-09584-7
发表时间：
2021
期刊：
Journal of automated reasoning
影响因子：
--
作者：
Bordg A;Lachnitt H;He Y
通讯作者：
He Y