量子信息的过去、现在和未来(16)

3. R. Blatt, The trapped-ion platform for quantum information processing, these proceedings.
4. R. Schoelkopf, Superconducting qubits as a platform for quantum computation, these proceedings.
5. F. Verstraete, Quantum information and many-body systems, these proceedings.
6. M. Lukin, Programmable quantum machines for probing entanglement in many-body systems, these proceedings.
7. N. Engelhardt, The entropy of Hawking radiation, these proceedings.
8. D. Stanford, Quantum information and spacetime, these proceedings.
9. A. M. Turing et al., On computable numbers, with an application to the entscheidungsproblem, J. of Math 58, p. 5 (1936).
10. S. A. Cook, The complexity of theorem-proving procedures, in Proceedings of the third annual ACM Symposium on Theory of Computing, 1971 pp. 151–158.
11. L. A. Levin, Universal sequential search problems, Problemy peredachi informatsii 9, 115 (1973).
12. R. M. Karp, Reducibility among combinatorial problems, in Complexity of Computer Computations, (Springer, 1972) pp. 85–103.