This page shows all presentations of this author published in EasyChair Smart Slide.
Hardness of Busy Beaver Value BB(15)
Tristan Stérin and Damien Woods