Abstract interpretation techniques in quantum computation - Archive ouverte HAL
Chapitre D'ouvrage Année : 2010

Abstract interpretation techniques in quantum computation

Philippe Jorrand
  • Fonction : Auteur
  • PersonId : 828650
Laboratoire Leibniz
Simon Perdrix
Calculs algorithmes programmes et preuves
CV

Nicolas Peltier  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00941288

Soumis le : lundi 3 février 2014-16:20:00

Dernière modification le : lundi 16 décembre 2024-15:38:51

Fichier non déposé

Dates et versions

hal-00941288 , version 1 (03-02-2014)

Identifiants

  • HAL Id : hal-00941288 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA IMAG CNRS LIG LIG_MFML LIG_MFML_CAPP LIG_SIDCH
152 Consultations
0 Téléchargements

Partager

More