位置：成果数据库 > 期刊 > 期刊详情页
Floyd-Hoare logic for quantum programs
  • 时间：0
  • 相关项目：量子软件的理论与方法
同期刊论文项目
量子软件的理论与方法
期刊论文 36 会议论文 10 获奖 2 著作 1
同项目期刊论文
QIP=PSPACE
Ancilla-assisted discrimination of quantum gates
Some bounds on the minimum number of queries required for quantum channel perfect discrimination
Tripartite entanglement transformations and tensor rank
A flow-chart language for quantum programming
Locally undetermined states, generalized Schmidt decomposition, and applications in distributed comp
The LU-LC conjecture is false
No-go theorem for one-way quantum computing on naturally occurring two-level systems
Any 2\otimes n subspace is locally distinguishable
Tensor rank of the tripartite state \ket{W}^(\otimes n)
Quantum capacity approaching codes for the detected-jump channel
Local distinguishability of orthogonal 2 times 3 pure states
Reasoning about cardinal directions between extended objects
Superactivation of the asymptotic zero-error classical capacity of a quantum channel
Parameter estimation of quantum channels.
Quantum loop programs
An algebraic language for distributed quantum computing.
Entanglement can completely defeat quantum noise
Tensor rank and stochastic entanglement catalysis for multipartite pure states.
When is there a multipartite maximum entangled state
Quantum programming： From theories to implementations