Banishing robust Turing completeness

Lane A. Hemachandra, Sanjay Jain, and Nikolai K. Vereshchagin
Proc. 2nd Int. Symp. Logical Foundations of Computer Science, Lecture Notes in Computer Science 620, Anil Nerode and Michael A. Taitslin, ed., Springer-Verlag, 1992, pp. 186–197


Fano Experimental Web Server, D. Eppstein, School of Information & Computer Science, UC Irvine
Made on a Mac Valid XHTML 1.0!