[1] R P Feynman. Simulating physics with computers
[J]. Int J Theor Phys, 1982, 21: 457-488.
[2] D Deutsch. Quantum theory, the Church-Turing principle and the universal quantum computer
[J]. Proc of Roy Soc London A, 1985, 400: 97-117.
[3] P W Shor. Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer
[J]. SIAM Journal on Computing, 1997, 26: 1484-1509.
[4] D Michael Miller, Dmitri Maslov, Gerhard W, Dueck. A Transformation Based Algorithm for Reversible Logic Synthesis
[J]. DAC, 2003, 318-321.
[5] Gerhard W Dueck, Dmitri Maslov, D Michael Miller. Transformation-based Synthesis of Networks of Toffoli/Fredkin Gates
[J]. Proceedings of the 2003 IEEE/ACM international conference on Computer-aided design, 2003, 211-214.
[6] Dmitri Maslov, Gerhard W Dueck, D Michael Miller. Fredkin/Toffoli Templates for Reversible Logic Synthesis
[J]. ICCAD, 2003, 9-13.
[7] E Fredkin. T Toffoli. Conservative logic
[J]. Int J Theor Phys, 1982, 21: 219-253.
|