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
	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. Closing the Circle: An Analysis of Emil Post's Early Work.	Bulletin of Symbolic Logic 2006, Volume 12	(0)	2006
	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. 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. 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
	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, 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 complex behavior of simple tag systems - An experimental approach.	Theor. Comput. Sci. 2011, Volume 412	(0)	2011

Show item 1 to 10 of 10  

Your query returned 10 matches in the database.