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 条

[1] A TRULY MORPHIC CHARACTERIZATION OF RECURSIVELY-ENUMERABLE SETS
BRANDENBURG, FJ
LECTURE NOTES IN COMPUTER SCIENCE, 1984, 176 : 205 - 213
[2] A CLASS OF RECURSIVELY-ENUMERABLE SETS
MOROZOV, AS
SIBERIAN MATHEMATICAL JOURNAL, 1987, 28 (02) : 278 - 282
[3] CHARACTERIZATION OF RECURSIVELY-ENUMERABLE SETS WITH SUPERSETS EFFECTIVELY ISOMORPHIC TO ALL RECURSIVELY-ENUMERABLE SETS
MAASS, W
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1983, 279 (01) : 311 - 336
[4] DIFFERENCES OF RECURSIVELY-ENUMERABLE SETS
ISHMUKHAMETOV, ST
IZVESTIYA VYSSHIKH UCHEBNYKH ZAVEDENII MATEMATIKA, 1985, (08): : 3 - 12
[5] GENERICITY FOR RECURSIVELY-ENUMERABLE SETS
JOCKUSCH, CG
LECTURE NOTES IN MATHEMATICS, 1985, 1141 : 203 - 232
[6] RECURSIVELY-ENUMERABLE GENERIC SETS
MAASS, W
JOURNAL OF SYMBOLIC LOGIC, 1982, 47 (04) : 809 - 823
[7] FRIEDBERG SPLITTINGS OF RECURSIVELY-ENUMERABLE SETS
DOWNEY, R
STOB, M
ANNALS OF PURE AND APPLIED LOGIC, 1993, 59 (03) : 175 - 199
[8] ON THE COMPLEXITY OF SEPARATION OF RECURSIVELY-ENUMERABLE SETS
KANOVICH, MI
DOKLADY AKADEMII NAUK SSSR, 1982, 267 (06): : 1300 - 1304
[9] RECURSIVELY-ENUMERABLE L-SETS
BIACINO, L
GERLA, G
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1987, 33 (02): : 107 - 113
[10] RECURSIVELY-ENUMERABLE IMAGES OF ARITHMETIC SETS
ROSENBERG, R
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1982, 28 (03): : 189 - 201

← 1 2 3 4 5 →