Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Liesbeth De
    Last name: Mol
    DBLP: 02/3353
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 10 of 10  
    Select a publication
    Show Title Venue Rating Date
    Journal article
    Liesbeth De Mol.
    On the complex behavior of simple tag systems - An experimental approach.
    Theor. Comput. Sci. 2011, Volume 412 (0) 2011
    Conference paper
    Maarten Bullynck, Liesbeth De Mol.
    Setting-up early computer programs: D. H. Lehmer's ENIAC computation.
    Arch. Math. Log. 2010, Volume 49 (0) 2010
    Conference paper
    Liesbeth De Mol.
    Solvability of the Halting and Reachability Problem for Binary 2-tag Systems.
    Fundam. Inform. 2010, Volume 99 (0) 2010
    Conference paper
    Liesbeth De Mol, Maarten Bullynck, Martin Carlé.
    Haskell before Haskell: Curry's Contribution to Programming (1946-1950).
    Programs, Proofs, Processes, 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010. Proceedings 2010 (0) 2010
    Conference paper
    Liesbeth De Mol.
    Tag systems and Collatz-like functions.
    Theor. Comput. Sci. 2008, Volume 390 (0) 2008
    Journal article
    Liesbeth De Mol.
    On the boundaries of solvability and unsolvability in tag systems. Theoretical and Experimental Results
    Proceedings International Workshop on The Complexity of Simple Programs, Cork, Ireland, 6-7th December 2008 2009, Volume 1 (0) 2008
    Conference paper
    Liesbeth De Mol.
    On the boundaries of solvability and unsolvability in tag systems. Theoretical and Experimental Results.
    Complexity of Simple Programs 2008, CSP 2008, Cork, Ireland, December 6-7, 2008. Proceedings 2008 (0) 2008
    Conference paper
    Liesbeth De Mol, Maarten Bullynck.
    A Week-End Off: The First Extensive Number-Theoretical Computation on the ENIAC.
    Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings 2008 (0) 2008
    Conference paper
    Liesbeth De Mol.
    Study of Limits of Solvability in Tag Systems.
    Machines, Computations, and Universality, 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007, Proceedings 2007 (0) 2007
    Conference paper
    Liesbeth De Mol.
    Closing the Circle: An Analysis of Emil Post's Early Work.
    Bulletin of Symbolic Logic 2006, Volume 12 (0) 2006
    Show item 1 to 10 of 10  

    Your query returned 10 matches in the database.