首页
学术期刊
论文检测
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 条
[1]
EXTENSION OF COMBINATORY-LOGIC TO A THEORY OF COMBINATORY REPRESENTATION
WEIBEL, T
论文数:
0
引用数:
0
h-index:
0
机构:
SWISS FED INST TECHNOL,INST THEORET COMP SCI,CH-8092 ZURICH,SWITZERLAND
SWISS FED INST TECHNOL,INST THEORET COMP SCI,CH-8092 ZURICH,SWITZERLAND
WEIBEL, T
THEORETICAL COMPUTER SCIENCE,
1992,
97
(01)
: 157
-
173
[2]
COMBINATORY-LOGIC OR STANDARD THEORY OF SETS
PENA, L
论文数:
0
引用数:
0
h-index:
0
机构:
CSIC,INST PHILOSOPHY,MADRID 6,SPAIN
CSIC,INST PHILOSOPHY,MADRID 6,SPAIN
PENA, L
ARBOR-CIENCIA PENSAMIENTO Y CULTURA,
1989,
132
(520)
: 33
-
73
[3]
COMBINATORY-LOGIC AND WHITEHEAD THEORY OF PREHENSIONS
FITCH, FB
论文数:
0
引用数:
0
h-index:
0
FITCH, FB
PHILOSOPHY OF SCIENCE,
1957,
24
(04)
: 331
-
335
[4]
RECURSION-THEORY AND ORDERED-GROUPS
DOWNEY, RG
论文数:
0
引用数:
0
h-index:
0
机构:
UNIV CHICAGO,DEPT COMP SCI,CHICAGO,IL 60637
UNIV CHICAGO,DEPT COMP SCI,CHICAGO,IL 60637
DOWNEY, RG
KURTZ, SA
论文数:
0
引用数:
0
h-index:
0
机构:
UNIV CHICAGO,DEPT COMP SCI,CHICAGO,IL 60637
UNIV CHICAGO,DEPT COMP SCI,CHICAGO,IL 60637
KURTZ, SA
ANNALS OF PURE AND APPLIED LOGIC,
1986,
32
(02)
: 137
-
151
[5]
COMBINATORY-LOGIC AND WHITEHEADS THEORY OF PREHENSIONS
FITCH, FB
论文数:
0
引用数:
0
h-index:
0
FITCH, FB
JOURNAL OF PHILOSOPHY,
1957,
54
(06):
: 142
-
143
[6]
A CONTRIBUTION TO RECURSION-THEORY IN FRAGMENTS OF ARITHMETIC
HAJEK, P
论文数:
0
引用数:
0
h-index:
0
HAJEK, P
KUCERA, A
论文数:
0
引用数:
0
h-index:
0
KUCERA, A
JOURNAL OF SYMBOLIC LOGIC,
1987,
52
(03)
: 888
-
889
[7]
SOME OPEN QUESTIONS IN RECURSION-THEORY
SACKS, GE
论文数:
0
引用数:
0
h-index:
0
SACKS, GE
LECTURE NOTES IN MATHEMATICS,
1985,
1141
: 333
-
342
[8]
CONSTRUCTIVE SET-THEORETIC MODELS OF TYPED COMBINATORY-LOGIC
KNOBEL, A
论文数:
0
引用数:
0
h-index:
0
KNOBEL, A
JOURNAL OF SYMBOLIC LOGIC,
1993,
58
(01)
: 99
-
118
[9]
SOME RECENT DEVELOPMENTS IN HIGHER RECURSION-THEORY
FRIEDMAN, SD
论文数:
0
引用数:
0
h-index:
0
FRIEDMAN, SD
JOURNAL OF SYMBOLIC LOGIC,
1983,
48
(03)
: 629
-
642
[10]
SOME UNDECIDABILITY RESULTS FOR LATTICES IN RECURSION-THEORY
CARROLL, JS
论文数:
0
引用数:
0
h-index:
0
CARROLL, JS
PACIFIC JOURNAL OF MATHEMATICS,
1986,
122
(02)
: 319
-
331
←
1
2
3
→