scientific article; zbMATH DE number 3823137

zbMATH Open0519.68051MaRDI QIDQ3668865FDOQ3668865

Andrei P. Ershov

Publication date: 1982

Title of this publication is not available (Why is that?)

zbMATH Keywords

constructive mathematicsTuring machinesrecursive programsabstract computabilityrecursive definabilityarithmeticseffective computabilitycomputation processdiophantine computabilityoperational algorithmsprogram determinant

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Theory of numerations, effectively presented structures (03D45) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Other constructive mathematics (03F65) Complexity of computation (including implicit computational complexity) (03D15) Recursive functions and relations, subrecursive hierarchies (03D20) Algorithms in computer science (68W99)

Cited In (2)

• Primitive program algebras of computable functions
• Composition aspects of programmology. I

This page was built for publication:

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