HONEST SUBRECURSIVE CLASSES ARE A LATTICE

被引：14

作者：

MACHTEY, M

机构：

[1] PURDUE UNIV,DEPT MATH,LAFAYETTE,IN 47907

[2] PURDUE UNIV,DEPT COMP SCI,LAFAYETTE,IN

来源：

INFORMATION AND CONTROL | 1974年 / 24卷 / 03期

关键词：

D O I：

10.1016/S0019-9958(74)80039-2

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：247 / 263

页数：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]

MACHTEY M, 1973, TR92 CSD SCI TECH RE

[9]

MCCREIGHT, 1969, 1 P ACM S THY COMP, P79

[10]

MEYER, 1972, Z MATH LOGIK GRUND M, V18, P71