HALTING SPACE-BOUNDED COMPUTATIONS

被引：81
作者：
SIPSER, M [1 ]
机构：
[1] UNIV CALIF BERKELEY,DIV COMP SCI,BERKELEY,CA 94720
来源：
THEORETICAL COMPUTER SCIENCE | 1980年 / 10卷 / 03期
关键词：
D O I：
10.1016/0304-3975(80)90053-5
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：335 / 338
页数：4
相关论文
共 10 条
  • [1] HARTMANIS J, 1977, THEORET COMPUT SCI, V3, P213
  • [2] Hopcroft J.E., 1969, FORMAL LANGUAGES THE
  • [3] HOPCROFT JE, 1967, J ACM, V16, P168
  • [4] Ibarra O. H., 1973, Journal of Computer and System Sciences, V7, P28, DOI 10.1016/S0022-0000(73)80048-0
  • [5] MEYER A, COMMUNICATION
  • [6] CORRECTION
    MONIEN, B
    [J]. ACTA INFORMATICA, 1977, 8 (04) : 383 - 384
  • [7] TRANSFORMATIONAL METHODS AND THEIR APPLICATION TO COMPLEXITY PROBLEMS
    MONIEN, B
    [J]. ACTA INFORMATICA, 1976, 6 (01) : 95 - 108
  • [8] MONIEN B, UNPUBLISHED
  • [9] SAKODA WJ, 1978, 10TH P ANN ACM S THE
  • [10] Stearns R.E., 1965, IEEE C REC SWITCHING, P179, DOI DOI 10.1109/FOCS.1965.11
1