CHARACTERIZATION OF RECURSIVELY ENUMERABLE SETS

被引：0

|

作者：

WRIGHT, JB ^{[1
]}

机构：

[1] IBM CORP,THOMAS J WATSON RES CTR,YORKTOWN HTS,NY 10598

来源：

JOURNAL OF SYMBOLIC LOGIC | 1972年 / 37卷 / 03期

关键词：

D O I：

10.2307/2272736

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：507 / 511

页数：5

相关论文

共 50 条

[21] A CLASS OF RECURSIVELY-ENUMERABLE SETS
MOROZOV, AS
SIBERIAN MATHEMATICAL JOURNAL, 1987, 28 (02) : 278 - 282
[22] Equality sets for recursively enumerable languages
Halava, V
Harju, T
Hoogeboom, HJ
Latteux, M
RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2005, 39 (04): : 661 - 675
[23] ELEMENTARY THEORY OF RECURSIVELY ENUMERABLE SETS
LACHLAN, AH
DUKE MATHEMATICAL JOURNAL, 1968, 35 (01) : 123 - &
[24] ON THE CHARACTERIZATION OF RECURSIVELY-ENUMERABLE SETS AS PSEUDO-DIOPHANTINE
SKANDALIS, K
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1995, 123 (02) : 555 - 558
[25] DETERMINING AUTOMORPHISMS OF RECURSIVELY ENUMERABLE SETS
SHORE, RA
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1977, 65 (02) : 318 - 325
[26] Products of matrices and recursively enumerable sets
Honkala, Juha
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2015, 81 (02) : 468 - 472
[27] 2 NOTES ON RECURSIVELY ENUMERABLE SETS
DEKKER, JCE
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1953, 4 (03) : 495 - 501
[28] RECURSIVELY-ENUMERABLE GENERIC SETS
MAASS, W
JOURNAL OF SYMBOLIC LOGIC, 1982, 47 (04) : 809 - 823
[29] AUTOMORPHISMS OF LATTICE OF RECURSIVELY ENUMERABLE SETS
SOARE, RI
BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1974, 80 (01) : 53 - 58
[30] A Generic relation on Recursively Enumerable Sets
Rybalov, A. N.
ALGEBRA AND LOGIC, 2016, 55 (05) : 387 - 393

← 1 2 3 4 5 →