Matiyasevich, Yu. V. On real-time recognition of the relation of occurrence. (Russian) Zbl 0222.02051 Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 20, 104-114 (1971). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page MSC: 03D10 Turing machines and related notions 03D99 Computability and recursion theory Citations:Zbl 0253.02043 PDFBibTeX XMLCite \textit{Yu. V. Matiyasevich}, Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 20, 104--114 (1971; Zbl 0222.02051) Full Text: EuDML