Program algebras of recursive functions

DOI10.1070/RM1996V051N04ABEH002966MaRDI QIDQ4341956zbMATH OpenFDO

Authors V. D. Solov'ev

Publication date 9 July 1997

Published in Russian Mathematical Surveys (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1070/RM1996V051N04ABEH002966

zbMATH Keywords

automorphismsclosure operatorscompletenesscongruenceexpressibilitymaximal subalgebrasprogram algebrarecursive functionsurveyTuring degrees

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Abstract and axiomatic computability and recursion theory (03D75)

Recommendations

• Publication:4946107
• Primitive program algebras of computable functions
• Command algebras, recursion and program transformation
• Program algebra and coprogram calculus
• scientific article; zbMATH DE number 4094791
• On the theory of program algebras
• scientific article; zbMATH DE number 5994844
• Program algebra for Turing-machine programs
• scientific article; zbMATH DE number 910715
• scientific article; zbMATH DE number 977284

Cited in

(20)

• Algebraic composition of function tables
• Recursion versus tail recursion over \(\overline{\mathbb{F}}_p\)
• Monoids with tests and the algebra of possibly non-halting programs
• Reductional programming of functions represented by recurrent relations of the first order
• Program algebra over an algebra
• scientific article; zbMATH DE number 3885887 (Why is no real title available?)
• scientific article; zbMATH DE number 3845026 (Why is no real title available?)
• scientific article; zbMATH DE number 3914308 (Why is no real title available?)
• scientific article; zbMATH DE number 3916241 (Why is no real title available?)
• scientific article; zbMATH DE number 3924111 (Why is no real title available?)
• Primitive program algebras. II
• scientific article; zbMATH DE number 4070283 (Why is no real title available?)
• scientific article; zbMATH DE number 4083606 (Why is no real title available?)
• scientific article; zbMATH DE number 4088901 (Why is no real title available?)
• scientific article; zbMATH DE number 29625 (Why is no real title available?)
• Algorithms for Functional Programming
• Note on Algol and conservatively extending functional programming
• scientific article; zbMATH DE number 1390027 (Why is no real title available?)
• scientific article; zbMATH DE number 1421081 (Why is no real title available?)
• Programs in partial algebras

This page was built for publication: Program algebras of recursive functions

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