INDEPENDENT INSTANCES FOR SOME UNDECIDABLE PROBLEMS

被引：0

|

作者：

CALUDE, C

PAUN, G

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1984年 / 49卷 / 02期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：686 / 686

页数：1

相关论文

共 50 条

[1] INDEPENDENT INSTANCES FOR SOME UNDECIDABLE PROBLEMS
CALUDE, C
PAUN, G
[J]. RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1983, 17 (01): : 49 - 54
[2] Some Undecidable Problems on Approximability of NP Optimization Problems
黄雄
[J]. Journal of Computer Science & Technology, 1996, (02) : 126 - 132
[3] Some undecidable embedding problems for finite semigroups
Jackson, M
[J]. PROCEEDINGS OF THE EDINBURGH MATHEMATICAL SOCIETY, 1999, 42 : 113 - 125
[4] SOME UNDECIDABLE PROBLEMS IN GROUP-THEORY
SACERDOTE, GS
[J]. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1972, 36 (01) : 231 - 238
[5] On some synchronization problems with multiple instances
Cornilly, Dries
Puccetti, Giovanni
Rueschendorf, Ludger
Vanduffel, Steven
[J]. JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, 2022, 400
[6] All-Instances Termination of Chase is Undecidable
Gogacz, Tomasz
Marcinkowski, Jerzy
[J]. AUTOMATA, LANGUAGES, AND PROGRAMMING (ICALP 2014), PT II, 2014, 8573 : 293 - 304
[7] SOME HALTING PROBLEMS FOR ABELIAN SANDPILES ARE UNDECIDABLE IN DIMENSION THREE
Cairns, Hannah
[J]. SIAM JOURNAL ON DISCRETE MATHEMATICS, 2018, 32 (04) : 2636 - 2666
[8] Some undecidable problems for parallel communicating finite automata systems
Martín-Vide, C
Mitrana, V
[J]. INFORMATION PROCESSING LETTERS, 2001, 77 (5-6) : 239 - 245
[9] SOME UNDECIDABLE TERMINATION PROBLEMS FOR SEMI-THUE SYSTEMS
SENIZERGUES, G
[J]. THEORETICAL COMPUTER SCIENCE, 1995, 142 (02) : 257 - 276
[10] The removal of π from some undecidable problems involving elementary functions
Laczkovich, M
[J]. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 2003, 131 (07) : 2235 - 2240

← 1 2 3 4 5 →