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

James Harland (2022)

Details and statistics

DOI: 10.1016/J.TCS.2022.04.040

access: closed

type: Journal Article

metadata version: 2022-06-27

a service of  Schloss Dagstuhl - Leibniz Center for Informatics