Table approximations to recursive predicates

DOI10.1007/BF01091555MaRDI QIDQ1256446zbMATH OpenOpenAlexFDO

Authors 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
• On the problem of finding minimal programs for tables
• On the size of machines
• Program size in restricted programming languages

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1256446)