Primitive program algebras of computable functions

DOI10.1007/BF01074828MaRDI QIDQ3802614zbMATH OpenOpenAlexFDO

Authors D. B. Buj, I. V. Redko

Publication date 1987

Published in Cybernetics (Search for Journal in Brave)

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

zbMATH Keywords

computable functionsgenerating setsprimitive program algebras

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Primitive program algebras of functions of set (multiset) arguments and values
• scientific article; zbMATH DE number 3914308
• scientific article; zbMATH DE number 3916241
• Primitive program algebras. II
• scientific article; zbMATH DE number 4094815

Cites work

• Can programming be liberated from the von Neumann style?
• Computable queries for relational data bases
• Computable stack functions for semantics of stack programs
• scientific article; zbMATH DE number 3823137 (Why is no real title available?)
• On the theory of program algebras
• Polynomial queries to relational data bases
• Sequence recursiveness without cylindrification and limited register machines

Cited in

(8)

• Theoretical aspects of structured-modular composition programming: Computability of the operations of the algebra of morphisms
• Primitive program algebras of functions of set (multiset) arguments and values
• scientific article; zbMATH DE number 3885887 (Why is no real title available?)
• scientific article; zbMATH DE number 3864500 (Why is no real title available?)
• scientific article; zbMATH DE number 4047051 (Why is no real title available?)
• scientific article; zbMATH DE number 4088901 (Why is no real title available?)
• Program algebras of recursive functions
• scientific article; zbMATH DE number 785052 (Why is no real title available?)

This page was built for publication: Primitive program algebras of computable functions

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