Reasoning about Grover's quantum search algorithm using probabilistic wp
暂无分享,去创建一个
[1] Carroll Morgan,et al. Programming from specifications (2nd ed.) , 1994 .
[2] Allan Newton,et al. Consultancy as a career , 1998 .
[3] Gilles Brassard,et al. Tight bounds on quantum searching , 1996, quant-ph/9605034.
[4] Edsger W. Dijkstra,et al. A Discipline of Programming , 1976 .
[5] Carroll Morgan,et al. Proof rules for probabilistic loops , 1996 .
[6] David M. Miller,et al. Handbook of Mathematical Functions With Formulas, Graphs and Mathematical Tables (National Bureau of Standards Applied Mathematics Series No. 55) , 1965 .
[7] Dexter Kozen,et al. A probabilistic PDL , 1983, J. Comput. Syst. Sci..
[8] Donald E. Knuth,et al. The Art of Computer Programming, Volume I: Fundamental Algorithms, 2nd Edition , 1997 .
[9] Annabelle McIver,et al. Probabilistic predicate transformers , 1996, TOPL.
[10] Irene A. Stegun,et al. Handbook of Mathematical Functions. , 1966 .
[11] Umesh V. Vazirani,et al. Quantum complexity theory , 1993, STOC.
[12] P. Benioff. The computer as a physical system: A microscopic quantum mechanical Hamiltonian model of computers as represented by Turing machines , 1980 .
[13] A. Berthiaume. Quantum computation , 1998 .
[14] Lov K. Grover. Quantum Mechanics Helps in Searching for a Needle in a Haystack , 1997, quant-ph/9706033.
[15] Lov K. Grover,et al. Quantum computation , 1999, Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013).
[16] Dexter Kozen. A Probabilistic PDL , 1985, J. Comput. Syst. Sci..
[17] Donald E. Knuth,et al. The art of computer programming: V.1.: Fundamental algorithms , 1997 .
[18] D. Deutsch. Quantum theory, the Church–Turing principle and the universal quantum computer , 1985, Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences.
[19] Donald Ervin Knuth,et al. The Art of Computer Programming , 1968 .
[20] Carroll Morgan,et al. Programming from specifications , 1990, Prentice Hall International Series in computer science.