Verifying Time Complexity of Turing Machines

David Gajser. Verifying Time Complexity of Turing Machines. Informatica (Slovenia), 40(3), 2016. [doi]

Abstract

Abstract is missing.