首页
学术期刊
论文检测
AIGC检测
热点
更多
数据
BASIC RECURSION-THEORY IN PARTIALLY ORDERED MODELS OF SOME FRAGMENTS OF THE COMBINATORY-LOGIC
被引:0
|
作者
:
ZASHEV, JA
论文数:
0
引用数:
0
h-index:
0
ZASHEV, JA
机构
:
来源
:
DOKLADI NA BOLGARSKATA AKADEMIYA NA NAUKITE
|
1984年
/ 37卷
/ 05期
关键词
:
D O I
:
暂无
中图分类号
:
O [数理科学和化学];
P [天文学、地球科学];
Q [生物科学];
N [自然科学总论];
学科分类号
:
07 ;
0710 ;
09 ;
摘要
:
引用
收藏
页码:561 / 564
页数:4
相关论文
共 25 条
[21]
GENERAL MODELS FOR TYPE THEORY BASED ON COMBINATORY LOGIC
SELDIN, JP
论文数:
0
引用数:
0
h-index:
0
SELDIN, JP
JOURNAL OF SYMBOLIC LOGIC,
1969,
34
(03)
: 544
-
&
[22]
SOME APPLICATION OF COOPER ALGEBRAS TO THE THEORY OF TAIL RECURSION IN LOGIC PROGRAMMING
GAVRILENKO, IV
论文数:
0
引用数:
0
h-index:
0
GAVRILENKO, IV
DOKLADY AKADEMII NAUK SSSR,
1990,
312
(05):
: 1033
-
1037
[23]
SOME THEOREMS IN SET THEORY + APPLICATIONS IN IDEAL THEORY OF PARTIALLY ORDERED SETS
MAYERKALKSCHMID.J
论文数:
0
引用数:
0
h-index:
0
MAYERKALKSCHMID.J
STEINER, E
论文数:
0
引用数:
0
h-index:
0
STEINER, E
DUKE MATHEMATICAL JOURNAL,
1964,
31
(02)
: 287
-
+
[24]
NATURAL GENERALIZATION OF SOME LATTICE THEORY CONCEPTS TO PARTIALLY ORDERED SETS
NIEDERLE, J
论文数:
0
引用数:
0
h-index:
0
NIEDERLE, J
CZECHOSLOVAK MATHEMATICAL JOURNAL,
1991,
41
(02)
: 297
-
299
[25]
NONLINEAR, GLOBALLY AGE-DEPENDENT POPULATION-MODELS - SOME BASIC THEORY
ELDERKIN, RH
论文数:
0
引用数:
0
h-index:
0
ELDERKIN, RH
JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS,
1985,
108
(02)
: 546
-
562
←
1
2
3
→