ON THE UNDECIDABILITY OF SPLICING SYSTEMS

被引：23

作者：

DENNINGHOFF, KL

GATTERDAM, RW

机构：

来源：

关键词：

D O I：

10.1080/00207168908803715

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

引用

页码：133 / 145

页数：13

相关论文

共 5 条

[1]

Davis M., 1983, COMPUTABILITY COMPLE

[2]

EILENBERG S, 1984, AUTOMATA LANGUAGES M

[3]

GATTERDAM RW, UNPUB ALGORITHMS SPL

HEAD, T .

[5]

Post E. L., 1947, J SYMBOLIC LOGIC, V12, P1, DOI [10.2307/2267170, DOI 10.2307/2267170]