Abstract interpretation techniques in quantum computation

Document type :
Book sections
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00941288
Contributor : Nicolas Peltier <>
Submitted on : Monday, February 3, 2014 - 4:20:00 PM
Last modification on : Friday, October 25, 2019 - 2:01:00 AM

Identifiers

  • HAL Id : hal-00941288, version 1

Collections

Citation

Philippe Jorrand, Simon Perdrix. Abstract interpretation techniques in quantum computation. Simon Gay and Ian Mackie. Semantic Techniques in Quantum Computation, Cambridge University Press, pp.206, 2010. ⟨hal-00941288⟩

Share

Metrics

Record views

171