مرکز منطقه ای اطلاع رساني علوم و فناوري - Commutativity of quantum weakest preconditions

Title of article :

Commutativity of quantum weakest preconditions

Author/Authors :

Mingsheng Ying، نويسنده , , Jianxin Chen، نويسنده , , Yuan Feng، نويسنده , , Runyao Duan، نويسنده ,

Issue Information :

دوهفته نامه با شماره پیاپی سال 2007

Pages :

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 :