Commutativity of quantum weakest preconditions

Mingsheng Ying, Jianxin Chen, Yuan Feng, Runyao Duan
一月 2007
引用 DOI URL
类型
期刊文章
出版物
Information Processing Letters
Formal Semantics Quantum Program Hermitian Matrix Super-Operator Weakest Precondition
应明生
应明生
教授
陈建鑫
陈建鑫
长聘副教授
冯元
冯元
教授