A Formal Analysis of Quantum Algorithms - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue ERCIM News Année : 2018

A Formal Analysis of Quantum Algorithms

Benoît Valiron
Modélisation hétérogène (LRI)
CentraleSupélec
CV

Domaines

Logique en informatique [cs.LO] Informatique et langage [cs.CL] Physique Quantique [quant-ph]

Benoît Valiron  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01763602

Soumis le : mercredi 11 avril 2018-11:44:30

Dernière modification le : mercredi 17 avril 2024-03:30:18

Fichier non déposé

Dates et versions

hal-01763602 , version 1 (11-04-2018)

Identifiants

  • HAL Id : hal-01763602 , version 1

Citer

Benoît Valiron. A Formal Analysis of Quantum Algorithms. ERCIM News, 2018, 112, pp.23-24. ⟨hal-01763602⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS UMR8623 ERCIM ERCIM-NEWS CENTRALESUPELEC LRI-MODHEL UNIV-PARIS-SACLAY GS-COMPUTER-SCIENCE LMF
134 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More