Title of article
Commutativity of quantum weakest preconditions
Author/Authors
Mingsheng Ying، نويسنده , , Jianxin Chen، نويسنده , , Yuan Feng، نويسنده , , Runyao Duan، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 2007
Pages
7
From page
152
To page
158
Keywords
Super-operator , Quantum program , Weakest precondition , Hermitian matrix , Formal semantics
Journal title
Information Processing Letters
Serial Year
2007
Journal title
Information Processing Letters
Record number
130506
Link To Document