Recursive functions computable within $C \bar f \log\bar f$

Previous | Up | Next

Article

Recursive functions computable within $C \bar f \log\bar f$. (English). Kybernetika, vol. 5 (1969), issue 5, pp. (384)-399

MSC: 02.80, 68.00 | MR 0284342 | Zbl 0181.30501

References:

[D] Davis M.: Computability and Unsolvability. New York 1958. MR 0347574 | Zbl 0080.00902

[H] Hennie F. C: One-tape, Off-line Turing computations. Inf. Control 8 (1965), 553-578. MR 0191769

[M] Myhill J.: Linear bounded automata. Wright Air Development Division Ohio, Report (1960), 60-22.

[T] Трахтенброт Б. A.: Тыюриговы вычисления с логарифмическим замедлением. Алгебра и логика 3 (1964), 33-48. MR 0183645 | Zbl 1117.65300

Partner of