Cover Image

Determination of the fifth Busy Beaver value

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	The bbchallenge Collaboration, Blanchard, Justin, Briggs, Daniel, Deka, Konrad, Fenner, Nathan, Forster, Yannick, Georgiev, Georgi, House, Matthew L., Hunter, Rachel, Iijil, Kądziołka, Maja, Kropitz, Pavel, Ligocki, Shawn, mxdys, Naściszewski, Mateusz, savask, Stérin, Tristan, Xu, Chris, Yuen, Jason, Zimmermann, Théo
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science Formal Languages and Automata Theory Logic 03D10, 03B35 (Primary) 68Q05, 68Q45 (Secondary) F.1.1; F.4.1; I.2.3; D.2.4; F.4.3
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
Description not available.