Verifying time complexity of Turing machines

David Gajser. Verifying time complexity of Turing machines. Theoretical Computer Science, 600:86-97, 2015. [doi]

Abstract

Abstract is missing.