RECURSION-THEORY ON FIELDS AND ABSTRACT DEPENDENCE

被引：32

|

作者：

METAKIDES, G

NERODE, A

机构：

来源：

JOURNAL OF ALGEBRA | 1980年 / 65卷 / 01期

关键词：

D O I：

10.1016/0021-8693(80)90237-9

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：36 / 59

页数：24

相关论文

共 50 条

[1] ABSTRACT DEPENDENCE, RECURSION-THEORY, AND THE LATTICE OF RECURSIVELY-ENUMERABLE FILTERS
DOWNEY, RG
BULLETIN OF THE AUSTRALIAN MATHEMATICAL SOCIETY, 1983, 27 (03) : 461 - 464
[2] DYNAMIC RECURSION-THEORY
BERGSTRA, J
JOURNAL OF SYMBOLIC LOGIC, 1980, 45 (02) : 387 - 387
[3] METHODS IN RECURSION-THEORY
SOARE, R
HISTORIA MATHEMATICA, 1985, 12 (04) : 379 - 379
[4] TESTING AND RECURSION-THEORY
CHERNIAVSKY, JC
SMITH, CH
JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (04) : 1090 - 1090
[5] GENERIC OBJECTS IN RECURSION-THEORY
NERODE, A
REMMEL, JB
LECTURE NOTES IN MATHEMATICS, 1985, 1141 : 271 - 314
[6] AN INVARIANCE NOTION IN RECURSION-THEORY
BYERLY, RE
JOURNAL OF SYMBOLIC LOGIC, 1982, 47 (01) : 48 - 66
[7] ON A TYPE OF CONSTRUCTIONS IN RECURSION-THEORY
KUCERA, A
JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 326 - 326
[8] MYHILL WORK IN RECURSION-THEORY
DEKKER, JCE
ELLENTUCK, E
ANNALS OF PURE AND APPLIED LOGIC, 1992, 56 (1-3) : 43 - 71
[9] KLEENE AUTOMATA AND RECURSION-THEORY
MULLINS, J
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 620 : 336 - 346
[10] SPLITTING THEOREMS IN RECURSION-THEORY
DOWNEY, R
STOB, M
ANNALS OF PURE AND APPLIED LOGIC, 1993, 65 (01) : 1 - 106

← 1 2 3 4 5 →