Turing-machines and the Entscheidungsproblem

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Mathematische annalen 1962-06, Vol.148 (3), p.201-213
1. Verfasser:	Büchi, J. Richard
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!