HALTING SPACE-BOUNDED COMPUTATIONS

被引:81
|
作者
SIPSER, M [1 ]
机构
[1] UNIV CALIF BERKELEY,DIV COMP SCI,BERKELEY,CA 94720
关键词
D O I
10.1016/0304-3975(80)90053-5
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
引用
收藏
页码:335 / 338
页数:4
相关论文
共 50 条