Quantum Computation

An applied quantum Hoare logic
We derive a variant of quantum Hoare logic (QHL), called applied quantum Hoare logic (aQHL for short), by: 1. restricting QHL to a …
Li Zhou, Nengkun Yu, Mingsheng Ying
引用 DOI URL
Floyd--hoare logic for quantum programs
Floyd–Hoare logic is a foundation of axiomatic semantics of classical programs, and it provides effective proof techniques for …
引用 DOI URL
QIP = PSPACE
This work considers the quantum interactive proof system model of computation, which is the (classical) interactive proof system …
Rahul Jain, Zhengfeng Ji, Sarvagya Upadhyay, John Watrous
引用 DOI URL
Quantum computation, quantum theory and AI
The main purpose of this paper is to examine some (potential) applications of quantum computation in AI and to review the interplay …
引用 DOI URL
An algebra of quantum processes
We introduce an algebra qCCS of pure quantum processes in which communications by moving quantum states physically are allowed and …
引用 DOI URL
A theory of computation based on quantum logic (I)
The (meta)logic underlying classical theory of computation is Boolean (two-valued) logic. Quantum logic was proposed by Birkhoff and …
引用 DOI URL
Characterizations of quantum automata
We define q quantum finite automata (qQFAs) and q quantum regular grammars (qQRGs), and verify that they are exactly equivalent to …
Daowen Qiu, Mingsheng Ying
引用 DOI URL