Liesbeth De Mol

24 papers C 4Journal 15Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy.
CoRR
Liesbeth De Mol, Yuri V. Matiyasevich, Eugenio G. Omodeo, Alberto Policriti, Wilfried Sieg, Elaine J. Weyuker
2024 J jnl
The Myth of the Coder.
Commun. ACM
Maarten Bullynck, Liesbeth De Mol
2023 J jnl
Obituary of Martin Davis (1928-2023).
IEEE Ann. Hist. Comput.
Alberto Policriti, Eugenio G. Omodeo, Liesbeth De Mol
2022 — conf
Characterizing the Nature of Programs for educational purposes.
ITiCSE (2)
Violetta Lonati, Andrej Brodnik, Tim Bell, Andrew Paul Csizmadia, Liesbeth De Mol, Henry Hickman, Therese Keane, Claudio Mirolo, Mattia Monga, Matti Tedre
2022 — conf
What We Talk About When We Talk About Programs.
ITiCSE-WGR
Violetta Lonati, Andrej Brodnik, Tim Bell, Andrew Paul Csizmadia, Liesbeth De Mol, Henry Hickman, Therese Keane, Claudio Mirolo, Mattia Monga
2021 C ed.
Connecting with Computability - 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings
CiE
Liesbeth De Mol, Andreas Weiermann, Florin Manea, David Fernández-Duque
2021 J jnl
Logic, Programming, and Computer Science: Local Perspectives.
IEEE Ann. Hist. Comput.
Liesbeth De Mol
2021 J jnl
Roots of 'program' revisited.
Commun. ACM
Liesbeth De Mol, Maarten Bullynck
2021 J jnl
Russian Logics and the Culture of Impossible: Part I - Recovering Intelligentsia Logics.
IEEE Ann. Hist. Comput.
Ksenia Tatarchenko, Anya Yermakova, Liesbeth De Mol
2021 J jnl
Russian Logics and the Culture of Impossible: Part II - Reinterpreting Algorithmic Rationality.
IEEE Ann. Hist. Comput.
Ksenia Tatarchenko, Anya Yermakova, Liesbeth De Mol
2018 J jnl
Less Is More in the Fifties: Encounters between Logical Minimalism and Computer Design during the 1950s.
IEEE Ann. Hist. Comput.
Liesbeth De Mol, Maarten Bullynck, Edgar G. Daylight
2015 J jnl
Haskell before Haskell: an alternative lesson in practical logics of the ENIAC.
J. Log. Comput.
Liesbeth De Mol, Martin Carlé, Maarten Bullynck
2015 J jnl
Why did computer science make a hero out of Turing?
Commun. ACM
Maarten Bullynck, Edgar G. Daylight, Liesbeth De Mol
2014 — ch.
The Proof Is in the Process: A Preamble for a Philosophy of Computer-Assisted Mathematics.
New Directions in the Philosophy of Science
Liesbeth De Mol
2011 J jnl
On the complex behavior of simple tag systems - An experimental approach.
Theor. Comput. Sci.
Liesbeth De Mol
2010 C conf
Haskell before Haskell: Curry's Contribution to Programming (1946-1950).
CiE
Liesbeth De Mol, Maarten Bullynck, Martin Carlé
2010 J jnl
Setting-up early computer programs: D. H. Lehmer's ENIAC computation.
Arch. Math. Log.
Maarten Bullynck, Liesbeth De Mol
2010 J jnl
Solvability of the Halting and Reachability Problem for Binary 2-tag Systems.
Fundam. Informaticae
Liesbeth De Mol
2008 C conf
A Week-End Off: The First Extensive Number-Theoretical Computation on the ENIAC.
CiE
Liesbeth De Mol, Maarten Bullynck
2008 — conf
Looking for busy beavers. A socio-philosophical study of a computer-assisted proof.
FotFS
Liesbeth De Mol
2008 — conf
On the boundaries of solvability and unsolvability in tag systems. Theoretical and Experimental Results
CSP
Liesbeth De Mol
2008 J jnl
Tag systems and Collatz-like functions.
Theor. Comput. Sci.
Liesbeth De Mol
2007 C conf
Study of Limits of Solvability in Tag Systems.
MCU
Liesbeth De Mol
2006 J jnl
Closing the Circle: An Analysis of Emil Post's Early Work.
Bull. Symb. Log.
Liesbeth De Mol