A MORPHIC REPRESENTATION OF COMPLEMENTS OF RECURSIVELY-ENUMERABLE SETS

被引：6

|

作者：

EHRENFEUCHT, A

ROZENBERG, G

RUOHONEN, K

机构：

[1] UNIV LEIDEN,INST APPL MATH & COMP SCI,2300 RA LEIDEN,NETHERLANDS

[2] TAMPERE UNIV TECHNOL,INST MATH,SF-33101 TAMPERE 10,FINLAND

来源：

JOURNAL OF THE ACM | 1981年 / 28卷 / 04期

关键词：

D O I：

10.1145/322276.322282

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：706 / 714

页数：9

相关论文

共 50 条

[41] ORDERED RINGS OVER WHICH OUTPUT SETS ARE RECURSIVELY-ENUMERABLE SETS
MICHAUX, C
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1991, 112 (02) : 569 - 575
[42] DECOMPOSITION OF RECURSIVELY-ENUMERABLE DEGREES
LACHLAN, AH
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1980, 79 (04) : 629 - 634
[43] THE INTERVALS OF THE LATTICE OF RECURSIVELY-ENUMERABLE SETS DETERMINED BY MAJOR SUBSETS
MAASS, W
STOB, M
ANNALS OF PURE AND APPLIED LOGIC, 1983, 24 (02) : 189 - 212
[44] DEGREE THEORETIC DEFINITIONS OF THE LOW(2) RECURSIVELY-ENUMERABLE SETS
DOWNEY, R
SHORE, RA
JOURNAL OF SYMBOLIC LOGIC, 1995, 60 (03) : 727 - 756
[45] THE UNDECIDABILITY OF THE RECURSIVELY-ENUMERABLE DEGREES
HARRINGTON, L
SHELAH, S
BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1982, 6 (01) : 79 - 80
[46] INVARIANCE OF PROPERTIES UNDER AUTOMORPHISMS OF THE LATTICE OF RECURSIVELY-ENUMERABLE SETS
STOB, M
PACIFIC JOURNAL OF MATHEMATICS, 1982, 100 (02) : 445 - 471
[47] RECURSIVELY-ENUMERABLE SETS IN MODELS OF SIGMA-2 COLLECTION
CHONG, CT
LECTURE NOTES IN MATHEMATICS, 1989, 1388 : 1 - 15
[48] ON PAIRS OF RECURSIVELY-ENUMERABLE DEGREES
AMBOSSPIES, K
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1984, 283 (02) : 507 - 531
[49] ON CHARACTERIZATIONS OF RECURSIVELY-ENUMERABLE LANGUAGES
LATTEUX, M
TURAKAINEN, P
ACTA INFORMATICA, 1990, 28 (02) : 179 - 186
[50] GENERATORS OF THE RECURSIVELY-ENUMERABLE DEGREES
AMBOSSPIES, K
LECTURE NOTES IN MATHEMATICS, 1985, 1141 : 1 - 28

← 1 2 3 4 5 →