메뉴 건너뛰기




Volumn 67, Issue 2, 2003, Pages 289-301

On real-time word problems

Author keywords

[No Author keywords available]

Indexed keywords


EID: 0038245241     PISSN: 00246107     EISSN: None     Source Type: Journal    
DOI: 10.1112/S0024610702003770     Document Type: Article
Times cited : (4)

References (12)
  • 1
    • 0002694092 scopus 로고
    • On k-tape versus (k-1)-tape real time computation
    • SIAM-AMS Proceedings VII (American Mathematical Society, Providence, RI)
    • S. O. AANDERAA, 'On k-tape versus (k-1)-tape real time computation', Complexity of computation, SIAM-AMS Proceedings VII (American Mathematical Society, Providence, RI, 1974).
    • (1974) Complexity of Computation
    • Aanderaa, S.O.1
  • 3
    • 0001288484 scopus 로고
    • The accessibility of finitely presented groups
    • M. J. DUNWOODY, The accessibility of finitely presented groups', Invent. Math. 81 (1985) 449-457.
    • (1985) Invent. Math. , vol.81 , pp. 449-457
    • Dunwoody, M.J.1
  • 4
    • 0037630718 scopus 로고
    • Real-time solutions of the origin-crossing problem
    • M. J. FISCHER and A. L. ROSENBERG, 'Real-time solutions of the origin-crossing problem', Math. Systems Theory 2 (1968) 257-263.
    • (1968) Math. Systems Theory , vol.2 , pp. 257-263
    • Fischer, M.J.1    Rosenberg, A.L.2
  • 6
    • 84968502725 scopus 로고
    • On the computational complexity of algorithms
    • J. HARTMANIS and R. E. STEARNS, 'On the computational complexity of algorithms', Trans. Amer. Math. Soc. 117 (1965) 285-306.
    • (1965) Trans. Amer. Math. Soc. , vol.117 , pp. 285-306
    • Hartmanis, J.1    Stearns, R.E.2
  • 7
    • 0035376957 scopus 로고    scopus 로고
    • Solving the word problem in real time
    • D. F. HOLT and S. REES, 'Solving the word problem in real time', J. London Math. Soc. 63 (2001) 623-639.
    • (2001) J. London Math. Soc. , vol.63 , pp. 623-639
    • Holt, D.F.1    Rees, S.2
  • 9
    • 0001567182 scopus 로고
    • Groups, the theory of ends, and context-free languages
    • D. E. MULLER and P. E. SCHUPP 'Groups, the theory of ends, and context-free languages', J. Comput. System Sci. 26 (1983) 295-310.
    • (1983) J. Comput. System Sci. , vol.26 , pp. 295-310
    • Muller, D.E.1    Schupp, P.E.2
  • 10
    • 0021859985 scopus 로고
    • The theory of ends, pushdown automata, and second-order logic
    • D. E. MULLER and P. E. SCHUPP, The theory of ends, pushdown automata, and second-order logic', Theoret. Comput. Sci. 37 (1985) 51-75.
    • (1985) Theoret. Comput. Sci. , vol.37 , pp. 51-75
    • Muller, D.E.1    Schupp, P.E.2
  • 11
    • 51249162610 scopus 로고
    • Real time computation
    • M. O. RABIN, 'Real time computation', Israel J. Math 1 (1963) 203-211.
    • (1963) Israel J. Math , vol.1 , pp. 203-211
    • Rabin, M.O.1
  • 12
    • 0000703841 scopus 로고
    • Real time definable languages
    • A. L. ROSENBERO, 'Real time definable languages', J. Assoc. Comput. Mach. 14 (1967) 645-662.
    • (1967) J. Assoc. Comput. Mach. , vol.14 , pp. 645-662
    • Rosenbero, A.L.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.