The web pages of Pascal MICHEL
Including : Busy Beaver competition, Publications in Logic and Theoretical Computer Science.Last update: December 2022
![]() |
|
Publications
Busy Beavers:
|
See also the Google group on Busy Beavers
In May 2022, new champions for (6,2)-TM have been found by Shawn Ligocki and Pavel Kropitz
Retired from
Click here to send email
Link to home page of the Équipe de Logique Mathématique