PRACTICAL DECIDABILITY

被引：8

作者：

EHRENFEUCHT, A ^{[1
]}

机构：

[1] UNIV COLORADO,DEPT COMP SCI,BOULDER,CO 80302

来源：

关键词：

D O I：

10.1016/S0022-0000(75)80060-2

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：392 / 396

页数：5

相关论文

共 8 条

[1]

Ehrenfeucht A., 1973, Journal of Approximation Theory, V9, P218, DOI 10.1016/0021-9045(73)90089-0

[2]

FISCHER MJ, 1974, MAC43 MIT TECHN MEM

[3]

Kleene SC., 1956, Automata Stud, V34, P3

[4]

McKenzie R., 1971, Mathematical Systems Theory, V5, P259, DOI 10.1007/BF01694182

[5]

MEYER AR, 1972, NOT AM MATH SOC, V19, pA598

[6]

MYCIELSKI J, TO BE PUBLISHED

[7]

Stockmeyer L.J., 1974, THESIS MIT

[8]

STOCKMEYER LJ, 1974, MACTR133 PROJ