UNIVERSAL SEQUENCES OF PRIMITIVE RECURSIVE FUNCTIONS

被引：0

|

作者：

CALUDE, C

TATARAM, M

机构：

来源：

REVUE ROUMAINE DE MATHEMATIQUES PURES ET APPLIQUEES | 1983年 / 28卷 / 05期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：381 / 389

页数：9

相关论文

共 50 条

[31] The efficiency of primitive recursive functions: A programmer's view
Matos, Armando B.
[J]. THEORETICAL COMPUTER SCIENCE, 2015, 594 : 65 - 81
[32] Some hierarchies of primitive recursive functions on term algebras
Sprenger, KH
[J]. MATHEMATICAL LOGIC QUARTERLY, 1997, 43 (02) : 251 - 286
[33] 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
[34] A HIERARCHY OF UNARY PRIMITIVE RECURSIVE STRING-FUNCTIONS
SANTEAN, L
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 464 : 225 - 233
[35] SEQUENTIAL REPRESENTATION OF PRIMITIVE RECURSIVE FUNCTIONS, AND COMPLEXITY CLASSES
WETTE, E
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 440 : 422 - 437
[36] PRIMITIVE RECURSIVE WORD-FUNCTIONS OF ONE VARIABLE
ASSER, G
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 270 : 14 - 19
[37] Primitive recursive selection functions over abstract algebras
Zucker, J. I.
[J]. LOGICAL APPROACHES TO COMPTATIONAL BARRIERS, PROCEEDINGS, 2006, 3988 : 595 - 606
[38] Symbolic test case generation for primitive recursive functions
Brucker, AD
Wolff, B
[J]. FORMAL APPROACHES TO SOFTWARE TESTING, 2005, 3395 : 16 - 32
[39] Invariance of function complexity under primitive recursive functions
Woodward, John R.
[J]. GENETIC PROGRAMMING, PROCEEDINGS, 2006, 3905 : 310 - 319
[40] Integral values of generating functions of recursive sequences
Knapp, M.
Lemos, A.
Neumann, Victor G. L.
[J]. DISCRETE APPLIED MATHEMATICS, 2024, 350 : 31 - 43

← 1 2 3 4 5 →