WQOS AND HIERARCHIES OF RECURSIVE FUNCTIONS

被引：0

|

作者：

DEJONGH, DHJ

PARIKH, RJ

机构：

来源：

NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY | 1972年 / 19卷 / 05期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：A614 / &

相关论文

共 50 条

[1] RECURSIVE FUNCTIONS AND HIERARCHIES
PUTNAM, H
[J]. AMERICAN MATHEMATICAL MONTHLY, 1973, 80 (06): : 68 - 86
[2] HIERARCHIES OF PRIMITIVE RECURSIVE FUNCTIONS
PARSONS, C
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1968, 14 (04): : 357 - &
[3] HIERARCHIES OF ONE ARGUMENT PRIMITIVE RECURSIVE FUNCTIONS
GEORGIEVA, N
[J]. DOKLADI NA BOLGARSKATA AKADEMIYA NA NAUKITE, 1976, 29 (07): : 919 - 922
[4] EQUIVALENCE OF SOME HIERARCHIES OF PRIMITIVE RECURSIVE FUNCTIONS
HARROW, K
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1979, 25 (05): : 411 - 418
[5] 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
[6] Some hierarchies of primitive recursive functions on term algebras
Sprenger, KH
[J]. MATHEMATICAL LOGIC QUARTERLY, 1997, 43 (02) : 251 - 286
[7] HIERARCHIES OF RECURSIVE COMPUTATIONS
STIMSON, MJ
SAVITCH, WJ
[J]. INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 1979, 7 (04) : 271 - 286
[8] HIERARCHIES IN RECURSIVE FUNCTION THEORY
HENSEL, G
[J]. JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (02) : 262 - &
[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] ON PROVABLY RECURSIVE FUNCTIONS AND ORDINAL RECURSIVE FUNCTIONS
KINO, A
[J]. JOURNAL OF THE MATHEMATICAL SOCIETY OF JAPAN, 1968, 20 (03) : 456 - +

← 1 2 3 4 5 →