2895 results in Quantum Physics, Quantum Information and Quantum Computation
Frontmatter
-
- Book:
- Semantic Techniques in Quantum Computation
- Published online:
- 05 July 2014
- Print publication:
- 30 November 2009, pp i-iv
-
- Chapter
- Export citation
11 - Specification and Verification of Quantum Protocols
-
-
- Book:
- Semantic Techniques in Quantum Computation
- Published online:
- 05 July 2014
- Print publication:
- 30 November 2009, pp 414-472
-
- Chapter
- Export citation
Contributors
-
- Book:
- Semantic Techniques in Quantum Computation
- Published online:
- 05 July 2014
- Print publication:
- 30 November 2009, pp vii-x
-
- Chapter
- Export citation
Preface
-
- Book:
- Semantic Techniques in Quantum Computation
- Published online:
- 05 July 2014
- Print publication:
- 30 November 2009, pp xi-xiv
-
- Chapter
- Export citation
6 - Abstract Interpretation Techniques for Quantum Computation
-
-
- Book:
- Semantic Techniques in Quantum Computation
- Published online:
- 05 July 2014
- Print publication:
- 30 November 2009, pp 206-234
-
- Chapter
- Export citation
Semantic Techniques in Quantum Computation
-
- Published online:
- 05 July 2014
- Print publication:
- 30 November 2009
7 - Extended Measurement Calculus
-
-
- Book:
- Semantic Techniques in Quantum Computation
- Published online:
- 05 July 2014
- Print publication:
- 30 November 2009, pp 235-310
-
- Chapter
- Export citation
9 - The Structure of Partial Isometries
-
-
- Book:
- Semantic Techniques in Quantum Computation
- Published online:
- 05 July 2014
- Print publication:
- 30 November 2009, pp 361-388
-
- Chapter
- Export citation
3 - Generalized Proof-Nets for Compact Categories with Biproducts
-
-
- Book:
- Semantic Techniques in Quantum Computation
- Published online:
- 05 July 2014
- Print publication:
- 30 November 2009, pp 70-134
-
- Chapter
- Export citation
1 - No-Cloning in Categorical Quantum Mechanics
-
-
- Book:
- Semantic Techniques in Quantum Computation
- Published online:
- 05 July 2014
- Print publication:
- 30 November 2009, pp 1-28
-
- Chapter
- Export citation
5 - The Quantum IO Monad
-
-
- Book:
- Semantic Techniques in Quantum Computation
- Published online:
- 05 July 2014
- Print publication:
- 30 November 2009, pp 173-205
-
- Chapter
- Export citation
Index
-
- Book:
- Semantic Techniques in Quantum Computation
- Published online:
- 05 July 2014
- Print publication:
- 30 November 2009, pp 473-478
-
- Chapter
- Export citation
4 - Quantum Lambda Calculus
-
-
- Book:
- Semantic Techniques in Quantum Computation
- Published online:
- 05 July 2014
- Print publication:
- 30 November 2009, pp 135-172
-
- Chapter
- Export citation
2 - Classical and Quantum Structuralism
-
-
- Book:
- Semantic Techniques in Quantum Computation
- Published online:
- 05 July 2014
- Print publication:
- 30 November 2009, pp 29-69
-
- Chapter
- Export citation
Contents
-
- Book:
- Semantic Techniques in Quantum Computation
- Published online:
- 05 July 2014
- Print publication:
- 30 November 2009, pp v-vi
-
- Chapter
- Export citation
Quantum Measurement and Control
-
- Published online:
- 17 February 2011
- Print publication:
- 12 November 2009
Appendix B - Stochastic differential equations
-
- Book:
- Quantum Measurement and Control
- Published online:
- 17 February 2011
- Print publication:
- 12 November 2009, pp 418-429
-
- Chapter
- Export citation
Preface
-
- Book:
- Quantum Measurement and Control
- Published online:
- 17 February 2011
- Print publication:
- 12 November 2009, pp xi-xvi
-
- Chapter
- Export citation
Index
-
- Book:
- Quantum Measurement and Control
- Published online:
- 17 February 2011
- Print publication:
- 12 November 2009, pp 449-460
-
- Chapter
- Export citation
2 - Quantum parameter estimation
-
- Book:
- Quantum Measurement and Control
- Published online:
- 17 February 2011
- Print publication:
- 12 November 2009, pp 51-96
-
- Chapter
- Export citation