EXTENDED PRIMITIVE RECURSIVE FUNCTIONS

被引：0

|

作者：

MENTRASTI, P ^{[1
]}

PROTASI, M ^{[1
]}

机构：

[1] CNR,IASI,I-00131 ROME,ITALY

来源：

RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS | 1982年 / 16卷 / 01期

关键词：

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：73 / 84

页数：12

相关论文

共 50 条

[21] HIERARCHY ON CLASS OF PRIMITIVE RECURSIVE ORDINAL FUNCTIONS
STAHL, SH
CANADIAN JOURNAL OF MATHEMATICS-JOURNAL CANADIEN DE MATHEMATIQUES, 1976, 28 (06): : 1205 - 1209
[22] Definitional schemes for primitive recursive and computable functions
Nielsen, Pace P.
COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE, 2022, 11 (01): : 1 - 8
[23] The efficiency of primitive recursive functions: A programmer's view
Matos, Armando B.
THEORETICAL COMPUTER SCIENCE, 2015, 594 : 65 - 81
[24] Bootstrapping the primitive recursive functions by only 27 colors
Riis, S
DISCRETE MATHEMATICS, 1997, 169 (1-3) : 269 - 272
[25] Some hierarchies of primitive recursive functions on term algebras
Sprenger, KH
MATHEMATICAL LOGIC QUARTERLY, 1997, 43 (02) : 251 - 286
[26] PRIMITIVE RECURSIVE WORD-FUNCTIONS OF ONE VARIABLE
ASSER, G
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 270 : 14 - 19
[27] Provably total primitive recursive functions:: Theories with induction
Cordón-Franco, A
Fernández-Margarit, A
Lara-Martín, FF
COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2004, 3210 : 355 - 369
[28] A HIERARCHY OF UNARY PRIMITIVE RECURSIVE STRING-FUNCTIONS
SANTEAN, L
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 464 : 225 - 233
[29] SEQUENTIAL REPRESENTATION OF PRIMITIVE RECURSIVE FUNCTIONS, AND COMPLEXITY CLASSES
WETTE, E
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 440 : 422 - 437
[30] Invariance of function complexity under primitive recursive functions
Woodward, John R.
GENETIC PROGRAMMING, PROCEEDINGS, 2006, 3905 : 310 - 319

← 1 2 3 4 5 →