DENSITY OF HONEST SUBRECURSIVE CLASSES

被引：15

作者：

MACHTEY, M ^{[1
]}

机构：

[1] PURDUE UNIV,DEPT MATH & COMP SCI,LAFAYETTE,IN 47907

来源：

关键词：

D O I：

10.1016/S0022-0000(75)80039-0

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：183 / 199

页数：17

共 14 条

[1]

AXT P, 1959, T AM MATH SOC, V92, P85

BLUM, M .

[3]

COBHAM A, 1964, 1964 P INT C LOG MET, P24

[4]

Davis M., 1958, COMPUTABILITY UNSOLV

[5]

Grzegorczyk A., 1953, ROZPR MAT, V4, P1

[6]

HOPCROFT, 1969, FORMAL LANGUAGES THE

[7]

Machtey M., 1972, Journal of Computer and System Sciences, V6, P603, DOI 10.1016/S0022-0000(72)80032-1

[8] HONEST SUBRECURSIVE CLASSES ARE A LATTICE [J].

MACHTEY, M .

INFORMATION AND CONTROL, 1974, 24 (03) :247-263

[9] CLASSIFICATION OF RECURSIVE FUNCTIONS [J].

MEYER, AR ;

RITCHIE, DM .

ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1972, 18 (01) :71-&

[10]

MOSTOWSKI A, 1938, MATEMATYCZNEGO, V17, P117