scientific article; zbMATH DE number 4047051

MaRDI QIDQ3783510zbMATH OpenFDO

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

Publication date 1987

zbMATH Keywords

primitive program algebrasrecursive functionsvector arguments

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 3916241
• scientific article; zbMATH DE number 3885887
• scientific article; zbMATH DE number 3914308
• Primitive program algebras of computable functions
• scientific article; zbMATH DE number 4094815

Cited in

(4)

• scientific article; zbMATH DE number 3885887 (Why is no real title available?)
• scientific article; zbMATH DE number 3916241 (Why is no real title available?)
• scientific article; zbMATH DE number 4028752 (Why is no real title available?)
• scientific article; zbMATH DE number 4088901 (Why is no real title available?)

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 Q3783510)