dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Liesbeth De Mol Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLiesbeth De Mol: On the complex behavior of simple tag systems - An experimental approach. Theor. Comput. Sci. 412(1-2): 97-112 (2011)
2010
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLiesbeth De Mol, Maarten Bullynck, Martin Carlé: Haskell before Haskell: Curry's Contribution to Programming (1946-1950). CiE 2010: 108-117
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaarten Bullynck, Liesbeth De Mol: Setting-up early computer programs: D. H. Lehmer's ENIAC computation. Arch. Math. Log. 49(2): 123-146 (2010)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLiesbeth De Mol: Solvability of the Halting and Reachability Problem for Binary 2-tag Systems. Fundam. Inform. 99(4): 435-471 (2010)
2008
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLiesbeth De Mol: On the boundaries of solvability and unsolvability in tag systems. Theoretical and Experimental Results CSP 2008: 56-66
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLiesbeth De Mol, Maarten Bullynck: A Week-End Off: The First Extensive Number-Theoretical Computation on the ENIAC. CiE 2008: 158-167
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLiesbeth De Mol: Tag systems and Collatz-like functions. Theor. Comput. Sci. 390(1): 92-101 (2008)
2007
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLiesbeth De Mol: Study of Limits of Solvability in Tag Systems. MCU 2007: 170-181
2006
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLiesbeth De Mol: Closing the Circle: An Analysis of Emil Post's Early Work. Bulletin of Symbolic Logic 12(2): 267-289 (2006)

Coauthor Index

1Maarten Bullynck [4] [7] [8]
2Martin Carlé [8]

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page