A bound on the shift function in terms of the Busy Beaver function

Bryant A. Julstrom. A bound on the shift function in terms of the Busy Beaver function. SIGACT News, 23(3):100-106, 1992. [doi]

Abstract

Abstract is missing.