×

Regular approximations to the recursive predicates. (Russian. English summary) Zbl 0222.02042


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