✦ LIBER ✦

Commutativity of quantum weakest preconditions

✍ Scribed by Mingsheng Ying; Jianxin Chen; Yuan Feng; Runyao Duan

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Generalised quantum weakest precondition

✍ Roman Gielerak; Marek Sawerwain 📂 Article 📅 2009 🏛 Springer US 🌐 English ⚖ 148 KB

Varieties of weakest liberal preconditio

✍ Joseph M. Morris 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 270 KB

Soundness of a purely syntactical formal

✍ Rudolf Berghammer 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 951 KB

Commutativity of Quantum Family Algebras

✍ N. Rozhkovskaya 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 172 KB

A weakest precondition semantics for ref

✍ Cavalcanti, A.; Naumann, D.A. 📂 Article 📅 2000 🏛 IEEE 🌐 English ⚖ 298 KB

Quantum Complexity of Testing Group Comm

✍ Frederic Magniez; Ashwin Nayak 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 185 KB