Table approximations to recursive predicates

DOI10.1007/BF01091555zbMath0404.03029OpenAlexW2044088365MaRDI QIDQ1256446

R. I. Freidzon

Publication date: 1977

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

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

zbMATH Keywords

Computational ComplexityRecursive FunctionTable Approximation of Recursive Predicates

Mathematics Subject Classification ID

Complexity of computation (including implicit computational complexity) (03D15) Recursive functions and relations, subrecursive hierarchies (03D20)

Cites Work

• Gödel numberings of partial recursive functions
• Program size in restricted programming languages
• On the size of machines
• On the problem of finding minimal programs for tables

This page was built for publication: Table approximations to recursive predicates