Pascal Michel

Available identifiers

zbMath Open michel.pascalMaRDI QIDQ688515

List of research outcomes

Publication	Date of Publication	Type
Problems in number theory from busy beaver competition	2016-01-07	Paper
Simulation of the Collatz 3x+1 function by Turing machines	2014-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q2996237	2011-05-06	Paper
HOMOLOGY OF GROUPS AND THIRD BUSY BEAVER FUNCTION	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	2007-03-06	Paper
Small Turing machines and generalized busy beaver competition	2005-01-11	Paper
Busy beaver competition and Collatz-like problems	1993-12-09	Paper
Complexity of logical theories involving coprimality	1993-04-22	Paper
A survey of space complexity	1992-09-27	Paper
An NP-complete language accepted in linear time by a one-tape Turing machine	1992-06-28	Paper
https://portal.mardi4nfdi.de/entity/Q3949037	1981-01-01	Paper

Research outcomes over time

This page was built for person: Pascal Michel