共 50 条
- [31] Infinitary computability with infinite time turing machines NEW COMPUTATIONAL PARADIGMS, 2005, 3526 : 180 - 187
- [37] Speedup in quantum adiabatic evolution algorithm ZEITSCHRIFT FUR NATURFORSCHUNG SECTION A-A JOURNAL OF PHYSICAL SCIENCES, 2003, 58 (04): : 201 - 203
- [38] A factorisation algorithm in Adiabatic Quantum Computation JOURNAL OF PHYSICS COMMUNICATIONS, 2019, 3 (02):
- [39] Numerical Studies of the Quantum Adiabatic Algorithm XXVI IUPAP CONFERENCE ON COMPUTATIONAL PHYSICS (CCP2014), 2015, 640
- [40] Mechanising Turing Machines and Computability Theory in Isabelle/HOL INTERACTIVE THEOREM PROVING, ITP 2013, 2013, 7998 : 147 - 162