Rona Machlin;Quentin F. Stout
-;-
A bound on the shift function in terms of the Busy Beaver function
ACM SIGACT News
Small turing machines and generalized busy beaver competition
Theoretical Computer Science