共 50 条
- [32] Formal Verification of Quantum Algorithms Using Quantum Hoare Logic [J]. COMPUTER AIDED VERIFICATION, CAV 2019, PT II, 2019, 11562 : 187 - 207
- [33] Quantum information processing, operational quantum logic, convexity, and the foundations of physics [J]. STUDIES IN HISTORY AND PHILOSOPHY OF MODERN PHYSICS, 2003, 34B (03): : 343 - 379
- [34] Laser-free trapped ion entangling gates with AESE: adiabatic elimination of spin-motion entanglement [J]. NEW JOURNAL OF PHYSICS, 2024, 26 (01):
- [35] IMPLEMENTATION OF TWO-QUBIT DEUTSCH-JOZSA ALGORITHM WITH TRAPPED IONS [J]. MODERN PHYSICS LETTERS B, 2009, 23 (12): : 1539 - 1546
- [38] BLOCK-BASED QUANTUM-LOGIC SYNTHESIS [J]. QUANTUM INFORMATION & COMPUTATION, 2011, 11 (3-4) : 262 - 277