EXPONENTIAL DIOPHANTINE REPRESENTATION OF ENUMERABLE SETS

被引：0

|

作者：

JONES, JP

MATIJASEVIC, YV

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1983年 / 48卷 / 04期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：1218 / 1218

页数：1

相关论文

共 50 条

[1] REGISTER MACHINE PROOF OF THE THEOREM ON EXPONENTIAL DIOPHANTINE REPRESENTATION OF ENUMERABLE SETS
JONES, JP
MATIJASEVIC, YV
JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (03) : 818 - 829
[2] REGISTER MACHINE PROOF OF THE THEOREM ON EXPONENTIAL DIOPHANTINE REPRESENTATION OF ENUMERABLE SETS
JONES, JP
MATIJASEVIC, YV
JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (02) : 490 - 491
[3] DIOPHANTINE NATURE OF ENUMERABLE SETS
MATIYASE.YV
DOKLADY AKADEMII NAUK SSSR, 1970, 191 (02): : 279 - &
[4] DIOPHANTINE REPRESENTATION OF RECURSIVELY ENUMERABLE PREDICATES
MATIJASE.YV
JOURNAL OF SYMBOLIC LOGIC, 1971, 36 (02) : 379 - &
[5] Recursively enumerable sets of polynomials over a finite field are Diophantine
Jeroen Demeyer
Inventiones mathematicae, 2007, 170 : 655 - 670
[6] Recursively enumerable sets of polynomials over a finite field are diophantine
Demeyer, Jeroen
INVENTIONES MATHEMATICAE, 2007, 170 (03) : 655 - 670
[7] ON THE CHARACTERIZATION OF RECURSIVELY-ENUMERABLE SETS AS PSEUDO-DIOPHANTINE
SKANDALIS, K
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1995, 123 (02) : 555 - 558
[8] A MORPHIC REPRESENTATION OF COMPLEMENTS OF RECURSIVELY-ENUMERABLE SETS
EHRENFEUCHT, A
ROZENBERG, G
RUOHONEN, K
JOURNAL OF THE ACM, 1981, 28 (04) : 706 - 714
[9] Spectral Representation of Some Computably Enumerable Sets with an Application to Quantum Provability
Calude, Cristian S.
Tadaki, Kohtaro
UNCONVENTIONAL COMPUTATION AND NATURAL COMPUTATION, 2013, 7956 : 43 - 54
[10] A class of enumerable sets
Muchnik, AA
Positsel'skii, SE
RUSSIAN MATHEMATICAL SURVEYS, 1999, 54 (03) : 640 - 641

← 1 2 3 4 5 →