Commutativity of Quantum Weakest Liberal Precondition and Its Properties

DOI10.3724/SP.J.1001.2013.04354zbMath1289.68042MaRDI QIDQ5398597

Zhengjun Xi, Hong-Xuan Lei, Yong-Ming Li

Publication date: 28 February 2014

Published in: Journal of Software (Search for Journal in Brave)

zbMATH Keywords

super-operatorquantum predicatequantum weakest liberal precondition

Mathematics Subject Classification ID

Quantum computation (81P68) Quantum algorithms and complexity in the theory of computing (68Q12)

This page was built for publication: Commutativity of Quantum Weakest Liberal Precondition and Its Properties