On the hardness of knowing busy beaver values BB(15) and BB(5,4)
From MaRDI portal
Publication:6373817
arXiv2107.12475MaRDI QIDQ6373817
Publication date: 26 July 2021
This page was built for publication: On the hardness of knowing busy beaver values BB(15) and BB(5,4)