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
Cites:
