Michael Anderson. Approximation to a decision procedure for the halting problem. Notre Dame journal of formal logic, vol. 9 no. 4 (for 1968, pub. 1969), pp. 305–312

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	The Journal of symbolic logic 1970-09, Vol.35 (3), p.480-480
1. Verfasser:	Hooper, Philip K.
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!