Toggling operators in computability logic
- 作者Giorgi Japaridze
- 卷第412卷
- 期第11期
- 印刷ISSN0304-3975
- 文件大小507.61KB
- 发表时间2011
- DOI10.1016/j.tcs.2010.11.037
- 页码971-1004
Tag systems and Collatz-like functionsLiesbeth De Mol · 2008
STUDY OF FRACTALS DERIVED FROM IFS-FRACTALS BY METRIC PROCEDURESDE MOL, LIESBETH · Fractals · 2005
Why did computer science make a hero out of Turing?Bullynck, Maarten; Daylight, Edgar G.; De Mol, Liesbeth · Communications of the ACM · 2015
Closing the Circle: An Analysis of Emil Post's Early WorkLiesbeth de Mol · The Bulletin of Symbolic Logic · 2006
Closing the Circle: An Analysis of Emil Post's Early Workde Mol, Liesbeth · Bulletin of Symbolic Logic · 2006
Facing Computing as Technique: Towards a History and Philosophy of ComputingDe Mol, Liesbeth; Primiero, Giuseppe · Philosophy & Technology · 2014
Setting-up early computer programs: D. H. Lehmer’s ENIAC computationMaarten Bullynck; Liesbeth De Mol · 2010