QUANTIFICATIONAL VARIANTS ON HALTING PROBLEM FOR TURING MACHINES

被引：2

作者：

FISCHER, PC

机构：

[1] Waterloo, Ontario

来源：

ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK | 1969年 / 15卷 / 03期

关键词：

D O I：

10.1002/malq.19690151302

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

[No abstract available]

引用

页码：211 / &

共 8 条

[1] TURING-MACHINES AND THE ENTSCHEIDUNGSPROBLEM [J].

BUCHI, JR .

[2]

Davis M., 1958, COMPUTABILITY UNSOLV

[3] ON FORMALISMS FOR TURING MACHINES [J].

FISCHER, PC .

[4]

HARTLEY R, 1959, MATH ANNALEN, V138, P125

[5] UNDECIDABILITY OF TURING MACHINE IMMORTALITY PROBLEM [J].

HOOPER, PK .

[6]

MINSKY M, 1967, FINITE INFINITE MACH

[7]

PUTNAM H, PRIVATE COMMUNICATIO

[8]

Turing AM, 1937, P LOND MATH SOC, V42, P230, DOI 10.1112/plms/s2-42.1.230