Quantum computing and abstract state machines

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2589, Issue , 2003, Pages 309-323

  Grädel, Erich ^a   Nowack, Antje ^a  

^a RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

QUANTUM COMPUTERS; QUANTUM THEORY;

ABSTRACT STATE MACHINES; ABSTRACTION LEVEL; QUANTUM ALGORITHMS; QUANTUM COMPUTING; QUANTUM OPERATIONS; SEQUENTIAL ALGORITHM; SYNCHRONOUS ALGORITHMS; UNITARY TRANSFORMATIONS;

ALGORITHMS;

EID: 23844554785     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36498-6_18     Document Type: Article

References (8)

1. A. BLASS AND Y. GUREVICH, Abstract state machines capture parallel algorithms, Tech. Rep. MSR-TR-2001-117, Microsoft Research, 2001.
2. J. GRUSKA, Quantum Computing, McGraw-Hill, 1999.
3. Y. GUREVICH, Sequential Abstract State Machines capture sequential algorithms, ACM Transactions on Computational Logic, 1 (2000), pp. 77-111.
4. Y. GUREVICH, Logician in the land of OS: Abstract State Machines in Microsoft, in Proc. 16th IEEE Symp. on Logic in Computer Science, 2001, pp. 129-136.
5. M. HIRVENSALO, Quantum Computing, Springer, 2001.
6. M. NIELSEN AND I. CHUANG, Quantum Computation and Quantum Information, Cambridge University Press, 2000.
7. P. SHOR, Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer, SIAM Journal on Computing, 26 (1997), pp. 1484-1509.
8. L. VANDERSYPEN, M. STEFFEN, G. BREYTA, C. YANNONI, M. SHERWOOD, AND I. CHUANG, Experimental realization of Shor's quantum factoring algorithm using nuclear magnetic resonance, Nature, 414 (2001), pp. 883-887.