-
1
-
-
0002694092
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
|