Generating candidate busy beaver machines (or how to build the zany zoo)

James Harland. Generating candidate busy beaver machines (or how to build the zany zoo). Theoretical Computer Science, 922:368-394, 2022. [doi]

Abstract

Abstract is missing.