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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Pascal Michel