Liesbeth De Mol

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
Martin Davis: an overview of his work in logic, computer science, and philosophy Philosophia Mathematica. Series III	2026-01-28	Paper
On the boundaries of solvability and unsolvability in tag systems. Theoretical and experimental results (available as arXiv preprint)	2021-01-20	Paper
On the boundaries of solvability and unsolvability in tag systems. Theoretical and experimental results	2021-01-20	Paper
scientific article; zbMATH DE number 7215070 (Why is no real title available?)	2020-06-25	Paper
Haskell before Haskell: an alternative lesson in practical logics of the ENIAC Journal Of Logic And Computation	2016-01-28	Paper
Some reflections on mathematics and its relation to computer science Automata, Universality, Computation	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 A Computable Universe	2013-02-26	Paper
On the complex behavior of simple tag systems -- an experimental approach Theoretical Computer Science	2011-01-10	Paper
Solvability of the Halting and Reachability Problem for Binary 2-tag Systems Fundamenta Informaticae	2010-10-01	Paper
Haskell before Haskell: Curry's contribution to programming (1946--1950) Programs, Proofs, Processes	2010-07-29	Paper
Setting-up early computer programs: D. H. Lehmer's ENIAC computation Archive for Mathematical Logic	2010-03-02	Paper
Study of Limits of Solvability in Tag Systems Lecture Notes in Computer Science	2009-03-05	Paper
A Week-End Off: The First Extensive Number-Theoretical Computation on the ENIAC Logic and Theory of Algorithms	2008-06-19	Paper
Tag systems and Collatz-like functions Theoretical Computer Science	2008-03-05	Paper
Closing the Circle: An Analysis of Emil Post's Early Work The Bulletin of Symbolic Logic	2007-04-05	Paper
STUDY OF FRACTALS DERIVED FROM IFS-FRACTALS BY METRIC PROCEDURES Fractals	2006-10-16	Paper

Research outcomes over time

This page was built for person: Liesbeth De Mol