Towards a precise characterization of the complexity of Universal and non-universal Turing Machines (1979)

by Lutz Priese
Venue:IEEE Symposium on Foundations of Computer Science