Approximate Outputs of Accelerated Turing Machines Closest to Their Halting Point.

Sebastien MambouOndrej KrejcarAli Selamat
Published in: ACIIDS (1) (2019)