HIERARCHIES OF PRIMITIVE RECURSIVE FUNCTIONS

被引：18

|

作者：

PARSONS, C

机构：

来源：

ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK | 1968年 / 14卷 / 04期

关键词：

D O I：

10.1002/malq.19680142106

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：357 / &

相关论文

共 50 条

[1] HIERARCHIES OF ONE ARGUMENT PRIMITIVE RECURSIVE FUNCTIONS
GEORGIEVA, N
[J]. DOKLADI NA BOLGARSKATA AKADEMIYA NA NAUKITE, 1976, 29 (07): : 919 - 922
[2] EQUIVALENCE OF SOME HIERARCHIES OF PRIMITIVE RECURSIVE FUNCTIONS
HARROW, K
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1979, 25 (05): : 411 - 418
[3] COMPARING HIERARCHIES OF PRIMITIVE RECURSIVE SEQUENCE FUNCTIONS
FACHINI, E
MAGGIOLOSCHETTINI, A
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1982, 28 (05): : 431 - 445
[4] Some hierarchies of primitive recursive functions on term algebras
Sprenger, KH
[J]. MATHEMATICAL LOGIC QUARTERLY, 1997, 43 (02) : 251 - 286
[5] RECURSIVE FUNCTIONS AND HIERARCHIES
PUTNAM, H
[J]. AMERICAN MATHEMATICAL MONTHLY, 1973, 80 (06): : 68 - 86
[6] PRIMITIVE RECURSIVE FUNCTIONS
ROBINSON, RM
[J]. BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1947, 53 (10) : 925 - 942
[7] PRIMITIVE RECURSIVE FUNCTIONS
ROBINSON, RM
[J]. BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1946, 52 (09) : 811 - 812
[8] WQOS AND HIERARCHIES OF RECURSIVE FUNCTIONS
DEJONGH, DHJ
PARIKH, RJ
[J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1972, 19 (05): : A614 - &
[9] HIERARCHIES OF PRIMITIVE RECURSIVE WORD-SEQUENCE FUNCTIONS - COMPARISONS AND DECISION-PROBLEMS
FACHINI, E
NAPOLI, M
[J]. THEORETICAL COMPUTER SCIENCE, 1984, 29 (1-2) : 185 - 227
[10] UNARY PRIMITIVE RECURSIVE FUNCTIONS
Severin, Daniel E.
[J]. JOURNAL OF SYMBOLIC LOGIC, 2008, 73 (04) : 1122 - 1138

← 1 2 3 4 5 →