DARBOUX PROPERTY AND PRIMITIVE RECURSIVE FUNCTIONS

被引：0

|

作者：

CALUDE, C ^{[1
]}

机构：

[1] UNIV BUCHAREST,FAC MATH,BUCHAREST,ROMANIA

来源：

REVUE ROUMAINE DE MATHEMATIQUES PURES ET APPLIQUEES | 1981年 / 26卷 / 09期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：1187 / 1192

页数：6

相关论文

共 50 条

[31] Families of Darboux functions and topology having (J*)-property
Ivanova, Gertruda
Karasinska, Aleksandra
Wagner-Bojakowska, Elbieta
TOPOLOGY AND ITS APPLICATIONS, 2019, 258 : 534 - 542
[32] The efficiency of primitive recursive functions: A programmer's view
Matos, Armando B.
THEORETICAL COMPUTER SCIENCE, 2015, 594 : 65 - 81
[33] Bootstrapping the primitive recursive functions by only 27 colors
Riis, S
DISCRETE MATHEMATICS, 1997, 169 (1-3) : 269 - 272
[34] Some hierarchies of primitive recursive functions on term algebras
Sprenger, KH
MATHEMATICAL LOGIC QUARTERLY, 1997, 43 (02) : 251 - 286
[35] PRIMITIVE RECURSIVE WORD-FUNCTIONS OF ONE VARIABLE
ASSER, G
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 270 : 14 - 19
[36] 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
[37] A HIERARCHY OF UNARY PRIMITIVE RECURSIVE STRING-FUNCTIONS
SANTEAN, L
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 464 : 225 - 233
[38] SEQUENTIAL REPRESENTATION OF PRIMITIVE RECURSIVE FUNCTIONS, AND COMPLEXITY CLASSES
WETTE, E
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 440 : 422 - 437
[39] Invariance of function complexity under primitive recursive functions
Woodward, John R.
GENETIC PROGRAMMING, PROCEEDINGS, 2006, 3905 : 310 - 319
[40] Symbolic test case generation for primitive recursive functions
Brucker, AD
Wolff, B
FORMAL APPROACHES TO SOFTWARE TESTING, 2005, 3395 : 16 - 32

← 1 2 3 4 5 →