Toward a generalized computability theory

DOI10.1007/BF02261744MaRDI QIDQ1346903zbMATH OpenFDO

Authors I. V. Ashaev, V. Ya. Belyaev, Alexei Myasnikov

Publication date 20 April 1995

Published in Algebra and Logic (Search for Journal in Brave)

zbMATH Keywords

algorithmrecursive functionsalgebraic systemsBSS-machineslist extension

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25) Recursive functions and relations, subrecursive hierarchies (03D20) Turing machines and related notions (03D10)

Recommendations

• Towards a formal theory of computability
• scientific article; zbMATH DE number 4033724
• scientific article; zbMATH DE number 5810075
• scientific article; zbMATH DE number 1061261
• Computability theory of generalized functions
• scientific article; zbMATH DE number 1396730
• Generalizing Computability Theory to Abstract Algebras
• On the uniform computational content of computability theory
• Computability theory
• Computability theory

Cites work

• scientific article; zbMATH DE number 3700811 (Why is no real title available?)
• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines

Cited in

(18)

• Computational complexity in algebraic systems
• scientific article; zbMATH DE number 1453080 (Why is no real title available?)
• scientific article; zbMATH DE number 1438910 (Why is no real title available?)
• scientific article; zbMATH DE number 1827830 (Why is no real title available?)
• scientific article; zbMATH DE number 2154080 (Why is no real title available?)
• Computation over algebraic structures and a classification of undecidable problems
• scientific article; zbMATH DE number 1860713 (Why is no real title available?)
• scientific article; zbMATH DE number 2013134 (Why is no real title available?)
• scientific article; zbMATH DE number 1396730 (Why is no real title available?)
• Properties of \(s\Sigma\)-reducibility
• scientific article; zbMATH DE number 2084368 (Why is no real title available?)
• Generalizing Computability Theory to Abstract Algebras
• Res Publica: The Universal Model of Computation (Invited Talk)
• An introduction to a model of abstract computation: the BSS-RAM model
• scientific article; zbMATH DE number 3950525 (Why is no real title available?)
• scientific article; zbMATH DE number 817189 (Why is no real title available?)
• scientific article; zbMATH DE number 7340320 (Why is no real title available?)
• scientific article; zbMATH DE number 446847 (Why is no real title available?)

This page was built for publication: Toward a generalized computability theory

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