CLASSIFICATION OF RECURSIVE FUNCTIONS

被引：23

作者：

MEYER, AR

RITCHIE, DM

机构：

来源：

ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK | 1972年 / 18卷 / 01期

关键词：

D O I：

10.1002/malq.19720180405

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：71 / &

相关论文

共 29 条

[1]

[Anonymous], THESIS PRINCETON U

[2]

[Anonymous], Z MATH LOGIK GRUNDLA

[3]

[Anonymous], ROZPRAWY MATH

[4]

[Anonymous], 10 ANN S SWITCH AUT

[5]

[Anonymous], 1958, Computability & Unsolvability

[6]

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

[7]

AXT P, 1965, Z MATH LOGIK GRUNDL, V11, P253

[8]

AXT P, 1963, Z MATH LOGIK GRUNDLA, V9, P53

[9]

BASS L, 1970, THESIS PURDUE U

[10]

BASS L, 1970, 2 ANN ACM S THEORY C, P37