Reasoning about Grover's quantum search algorithm using probabilistic wp

Saved in:
Bibliographic Details
Published inACM transactions on programming languages and systems
Format Journal Article
LanguageEnglish
Published 01.05.1999
Online AccessGet full text
ISSN0164-0925
1558-4593
DOI10.1145/319301.319303

Cover

More Information
ISSN:0164-0925
1558-4593
DOI:10.1145/319301.319303