共 44 条
- [1] A categorical semantics of quantum protocols [J]. 19TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2004, : 415 - 425
- [2] Abramsky S, 2009, HANDBOOK OF QUANTUM LOGIC AND QUANTUM STRUCTURES: QUANTUM LOGIC, P261, DOI 10.1016/B978-0-444-52869-8.50010-4
- [3] Quantum walk algorithm for element distinctness [J]. 45TH ANNUAL IEEE SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS, 2004, : 22 - 31
- [4] [Anonymous], 2000, PRINCETON LANDMARKS
- [6] ATIYAH M, 1988, PUBL MATH-PARIS, P175
- [8] Brown R., ARXIV09092212V2