Regular approximations of recursive predicates

DOI10.1007/BF01117481zbMath0253.02034OpenAlexW2072853343MaRDI QIDQ2557691

R. I. Freidzon

Publication date: 1973

Published in: Journal of Soviet Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01117481

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Applications of computability and recursion theory (03D80) Turing machines and related notions (03D10)

Cites Work

• Gödel numberings of partial recursive functions
• Some Bounds on the Storage Requirements of Sequential Machines and Turing Machines
• On the size of machines

This page was built for publication: Regular approximations of recursive predicates