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 条

[21] ON THE ALGEBRAIC STRUCTURE OF PRIMITIVE RECURSIVE FUNCTIONS
SZALKAI, I
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1985, 31 (06): : 551 - 556
[22] Plain bases for classes of primitive recursive functions
Mazzanti, S
[J]. MATHEMATICAL LOGIC QUARTERLY, 2002, 48 (01) : 93 - 104
[23] Term rewriting theory for the primitive recursive functions
Cichon, EA
Weiermann, A
[J]. ANNALS OF PURE AND APPLIED LOGIC, 1997, 83 (03) : 199 - 223
[24] PRIMITIVE RECURSIVE ORDINAL FUNCTIONS WITH ADDED CONSTANTS
STAHL, SH
[J]. JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (01) : 77 - 82
[25] Definitional schemes for primitive recursive and computable functions
Nielsen, Pace P.
[J]. COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE, 2022, 11 (01): : 1 - 8
[26] HIERARCHY ON CLASS OF PRIMITIVE RECURSIVE ORDINAL FUNCTIONS
STAHL, SH
[J]. CANADIAN JOURNAL OF MATHEMATICS-JOURNAL CANADIEN DE MATHEMATIQUES, 1976, 28 (06): : 1205 - 1209
[27] Bootstrapping the primitive recursive functions by only 27 colors
Riis, S
[J]. DISCRETE MATHEMATICS, 1997, 169 (1-3) : 269 - 272
[28] The efficiency of primitive recursive functions: A programmer's view
Matos, Armando B.
[J]. THEORETICAL COMPUTER SCIENCE, 2015, 594 : 65 - 81
[29] Provably total primitive recursive functions:: Theories with induction
Cordón-Franco, A
Fernández-Margarit, A
Lara-Martín, FF
[J]. COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2004, 3210 : 355 - 369
[30] A HIERARCHY OF UNARY PRIMITIVE RECURSIVE STRING-FUNCTIONS
SANTEAN, L
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 464 : 225 - 233

← 1 2 3 4 5 →