par Duncan, Ross ;Lucas, Maxime
Référence Electronic proceedings in theoretical computer science, 171, page (33-49)
Publication Publié, 2014-12
Article révisé par les pairs
Titre:
  • Verifying the steane code with quantomatic
Auteur:Duncan, Ross; Lucas, Maxime
Informations sur la publication:Electronic proceedings in theoretical computer science, 171, page (33-49)
Statut de publication:Publié, 2014-12
Sujet CREF:Généralités
Note générale:SCOPUS: cp.p
Langue:Anglais
Identificateurs:urn:issn:2075-2180
info:doi/10.4204/EPTCS.171.4
info:scp/84938792097