Quantum processes: A new interpretation for quantum transformations in the VPE-qGM environment
暂无分享,去创建一个
[1] John P. Hayes,et al. Efficient quantum circuit simulation , 2007 .
[2] Renata H. S. Reiser,et al. Quantum Computing : Computation in Coherence Spaces , 2007 .
[3] Masahiro Fujita,et al. Multi-Terminal Binary Decision Diagrams: An Efficient Data Structure for Matrix Representation , 1997, Formal Methods Syst. Des..
[4] Renata Reiser,et al. INTRODUZINDO UMA ABORDAGEM PARA SIMULAÇÃO QUÂNTICA COM BAIXA COMPLEXIDADE ESPACIAL , 2011 .
[5] Vasilis Samoladas,et al. Improved BDD Algorithms for the Simulation of Quantum Circuits , 2008, ESA.
[6] Gerhard W. Dueck,et al. Reversible Logic Synthesis , 2020, Reversible and DNA Computing.
[7] N. Gisin,et al. Quantum cryptography , 1998 .
[8] Lov K. Grover. A fast quantum mechanical algorithm for database search , 1996, STOC '96.
[9] H. Bechmann-Pasquinucci,et al. Quantum cryptography , 2001, quant-ph/0101098.
[10] Jean-Yves Girard,et al. Linear Logic in Computer Science: Between Logic and Quantic: a Tract , 2004 .
[11] Peter W. Shor,et al. Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer , 1995, SIAM Rev..
[12] Walter Alexandre Carnielli,et al. Paraconsistent Machines and their Relation to Quantum Computing , 2008, J. Log. Comput..
[13] Stefano Pironio,et al. Random numbers certified by Bell’s theorem , 2009, Nature.