Liesbeth De Mol

Available identifiers

Publication	Date of Publication	Type
On the boundaries of solvability and unsolvability in tag systems. Theoretical and experimental results	2021-01-20	Paper
https://portal.mardi4nfdi.de/entity/Q5114687	2020-06-25	Paper
Haskell before Haskell: an alternative lesson in practical logics of the ENIAC	2016-01-28	Paper
Some reflections on mathematics and its relation to computer science	2015-04-14	Paper
Looking for busy beavers. A socio-philosophical study of a computer-assisted proof	2013-02-28	Paper
Generating, Solving and the Mathematics of Homo Sapiens: Emil Post’s Views on Computation	2013-02-26	Paper
On the complex behavior of simple tag systems -- an experimental approach	2011-01-10	Paper
Solvability of the Halting and Reachability Problem for Binary 2-tag Systems	2010-10-01	Paper
Haskell before Haskell: Curry's contribution to programming (1946--1950)	2010-07-29	Paper
Setting-up early computer programs: D. H. Lehmer's ENIAC computation	2010-03-02	Paper
Study of Limits of Solvability in Tag Systems	2009-03-05	Paper
A Week-End Off: The First Extensive Number-Theoretical Computation on the ENIAC	2008-06-19	Paper
Tag systems and Collatz-like functions	2008-03-05	Paper
Closing the Circle: An Analysis of Emil Post's Early Work	2007-04-05	Paper
STUDY OF FRACTALS DERIVED FROM IFS-FRACTALS BY METRIC PROCEDURES	2006-10-16	Paper

This page was built for person: Liesbeth De Mol