Generalised quantum weakest preconditions
From MaRDI portal
Publication:993477
DOI10.1007/s11128-009-0151-8zbMath1197.81047arXiv0710.5239OpenAlexW2036681090MaRDI QIDQ993477
Marek Sawerwain, Roman Gielerak
Publication date: 20 September 2010
Published in: Quantum Information Processing (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0710.5239
Vector-valued set functions, measures and integrals (28B05) Quantum measurement theory, state operations, state preparations (81P15) Vector-valued measures and integration (46G10) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)
Related Items (4)
Natural Quantum Operational Semantics with Predicates ⋮ Quantum walk and its application domains: a systematic review ⋮ Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras ⋮ Some remarks on super-Gram operators for general bipartite quantum states
Uses Software
Cites Work
- States, effects, and operations. Fundamental notions of quantum theory. Lectures in mathematical physics at the University of Texas at Austin. Ed. by A. Böhm, J. D. Dollard and W. H. Wootters
- Completely positive linear maps on complex matrices
- On the completeness of the inductive assertion method
- Quantum logic and physical modalities
- Entangled states and collective nonclassical effects in two-atom systems
- Compiling quantum programs
- Classical concepts in quantum programming
- Quantum information with continuous variables
- Clean positive operator valued measures
- Towards a quantum programming language
- On non-completely positive quantum dynamical maps on spin chains
- Natural Quantum Operational Semantics with Predicates
- Quantum programming languages: survey and bibliography
- Quantum weakest preconditions
- An axiomatic basis for computer programming
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Generalised quantum weakest preconditions
