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]

Possibly Related Publications

The following publications are possibly variants of this publication: