DYNAMIC RECURSION-THEORY

被引：0

|

作者：

BERGSTRA, J

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1980年 / 45卷 / 02期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：387 / 387

页数：1

相关论文

共 50 条

[41] GENERIC OBJECTS IN RECURSION-THEORY .2. OPERATIONS ON RECURSIVE APPROXIMATION SPACES
NERODE, A
REMMEL, JB
ANNALS OF PURE AND APPLIED LOGIC, 1986, 31 (2-3) : 257 - 288
[42] AN EASY THEOREM OF CLASSICAL RECURSION-THEORY WHICH FAILS IN ALPHA-RECURSION THEORY FOR ALL ALPHA-GREATER-THAN-OMEGA
DIETZFELBINGER, M
MAASS, W
JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 840 - 840
[43] 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
[44] 1-GENERIC DEGREES AND MINIMAL DEGREES IN HIGHER RECURSION-THEORY .2.
CHONG, CT
ANNALS OF PURE AND APPLIED LOGIC, 1986, 31 (2-3) : 165 - 175
[45] A COUNTABLE BASIS FOR SIGMA-2(1) SETS AND RECURSION-THEORY ON-CHI
MAASS, W
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1981, 82 (02) : 267 - 270
[46] ON CHURCH FORMAL THEORY OF FUNCTIONS AND FUNCTIONALS - THE LAMBDA-CALCULUS - CONNECTIONS TO HIGHER TYPE RECURSION-THEORY, PROOF THEORY, CATEGORY THEORY
LONGO, G
ANNALS OF PURE AND APPLIED LOGIC, 1988, 40 (02) : 93 - 133
[47] TEST OF RECURSION-THEORY OF LOCALIZATION - NUMERICAL EVIDENCE OF A PHASE-TRANSITION IN DISORDERED 2-DIMENSIONAL POTENTIALS
GODIN, TJ
HAYDOCK, R
EUROPHYSICS LETTERS, 1991, 14 (02): : 137 - 143
[48] RECURSION-THEORY FOR NON-RELATIVISTIC GROUND-STATE ATOMIC ENERGIES AND EXPECTATION VALUES OF R-1
TAL, Y
LEVY, M
PHYSICAL REVIEW A, 1982, 25 (04): : 1838 - 1845
[49] RECURSION THEORY
SACKS, GE
AMERICAN MATHEMATICAL MONTHLY, 1971, 78 (04): : 438 - &
[50] ON THE THEORY OF RECURSION OPERATOR
ZAKHAROV, VE
KONOPELCHENKO, BG
COMMUNICATIONS IN MATHEMATICAL PHYSICS, 1984, 94 (04) : 483 - 509

← 1 2 3 4 5 →