RECURSION THEORY ON ITERATIVE COMBINATORY SPACES

被引：0

|

作者：

SKORDEV, D ^{[1
]}

机构：

[1] UNIV SOFIA,DEPT MATH & MECH,SOFIA,BULGARIA

来源：

BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES | 1976年 / 24卷 / 01期

关键词：

D O I：

暂无

中图分类号：

P1 [天文学];

学科分类号：

0704 ;

摘要：

引用

收藏

页码：23 / 31

页数：9

相关论文

共 50 条

[1] 1ST RECURSION THEOREM FOR ITERATIVE COMBINATORY SPACES
SKORDEV, D
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1979, 25 (01): : 69 - 77
[2] On the recursion theorem in iterative operative spaces
Zashev, J
JOURNAL OF SYMBOLIC LOGIC, 2001, 66 (04) : 1727 - 1748
[3] SOME STONE SPACES AND RECURSION THEORY
NERODE, A
DUKE MATHEMATICAL JOURNAL, 1959, 26 (03) : 397 - 406
[4] SIMPLIFICATION OF SOME DEFINITIONS IN THEORY OF COMBINATORY SPACES
SKORDEV, DG
DOKLADI NA BOLGARSKATA AKADEMIYA NA NAUKITE, 1977, 30 (07): : 947 - 950
[5] NORMAL FORM THEOREM FOR RECURSIVE OPERATORS IN ITERATIVE COMBINATORY SPACES
SKORDEV, D
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1978, 24 (02): : 115 - 124
[6] BASIC RECURSION-THEORY IN PARTIALLY ORDERED MODELS OF SOME FRAGMENTS OF THE COMBINATORY-LOGIC
ZASHEV, JA
DOKLADI NA BOLGARSKATA AKADEMIYA NA NAUKITE, 1984, 37 (05): : 561 - 564
[7] SEMI-COMBINATORY SPACES
SKORDEV, DG
DOKLADI NA BOLGARSKATA AKADEMIYA NA NAUKITE, 1980, 33 (06): : 739 - 742
[8] OPERATIVE VS COMBINATORY SPACES
IVANOV, L
JOURNAL OF SYMBOLIC LOGIC, 1990, 55 (02) : 561 - 572
[9] EXTENSION OF COMBINATORY-LOGIC TO A THEORY OF COMBINATORY REPRESENTATION
WEIBEL, T
THEORETICAL COMPUTER SCIENCE, 1992, 97 (01) : 157 - 173
[10] RECURSION THEORY
SACKS, GE
AMERICAN MATHEMATICAL MONTHLY, 1971, 78 (04): : 438 - &

← 1 2 3 4 5 →