Freĭdzon, R. I. Regular approximations to the recursive predicates. (Russian. English summary) Zbl 0222.02042 Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 20, 220-233 (1971). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 Review MSC: 03D10 Turing machines and related notions 03D15 Complexity of computation (including implicit computational complexity) 03D20 Recursive functions and relations, subrecursive hierarchies 03D80 Applications of computability and recursion theory Citations:Zbl 0165.02102 × Cite Format Result Cite Review PDF Full Text: EuDML