On the time complexity of 2-tag systems and small universal turing machines (2006)

by Damien Woods , Turlough Neary
Venue:In 47th Annual IEEE Symposium on Foundations of Computer Science (FOCS
Citations:16 - 7 self