The web pages of Pascal MICHEL

Including : Busy Beaver competition, Publications in Logic and Theoretical Computer Science.

Created by Pascal Michel in 2004
Last update: October 2023

Pascal MICHEL

Publications

Busy Beavers:

See also the Google group on Busy Beavers

Shawn Ligocki and Pavel Kropitz have found new champions

 

Retired from
Equipe de Logique mathématique
IMJ-PRG

Click here to send email

Link to home page of the bb challenge