Pascal Michel

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Problems in number theory from busy beaver competition Logical Methods in Computer Science	2016-01-07	Paper
Simulation of the Collatz 3x+1 function by Turing machines	2014-09-25	Paper
scientific article; zbMATH DE number 5885061 (Why is no real title available?)	2011-05-06	Paper
Homology of groups and third busy beaver function International Journal of Algebra and Computation	2010-10-21	Paper
The Busy Beaver Competition: a historical survey	2009-06-19	Paper
Computational complexity of logical theories of one successor and another unary function Archive for Mathematical Logic	2007-03-06	Paper
Small Turing machines and generalized busy beaver competition Theoretical Computer Science	2005-01-11	Paper
Busy beaver competition and Collatz-like problems Archive for Mathematical Logic	1993-12-09	Paper
Complexity of logical theories involving coprimality Theoretical Computer Science	1993-04-22	Paper
A survey of space complexity Theoretical Computer Science	1992-09-27	Paper
An NP-complete language accepted in linear time by a one-tape Turing machine Theoretical Computer Science	1992-06-28	Paper
scientific article; zbMATH DE number 3767637 (Why is no real title available?)	1981-01-01	Paper

Research outcomes over time

This page was built for person: Pascal Michel