Primitive program algebras of functions of set (multiset) arguments and values

MaRDI QIDQ2896492zbMATH OpenFDO

Authors Yu. O. Bogatyr'ova, D. B. Buj, V. N. Red'ko

Publication date 16 July 2012

Published in Dopovidi Natsional'noï Akademiï Nauk Ukraïny. Matematyka, Pryrodoznavstvo, Tekhnichni Nauky (Search for Journal in Brave)

zbMATH Keywords

numerical computabilityprimitive program algebra

Mathematics Subject Classification ID

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

Recommendations

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

Cited in

(4)

• Primitive program algebras of computable functions
• scientific article; zbMATH DE number 63120 (Why is no real title available?)
• scientific article; zbMATH DE number 3885887 (Why is no real title available?)
• scientific article; zbMATH DE number 4088901 (Why is no real title available?)

This page was built for publication: Primitive program algebras of functions of set (multiset) arguments and values

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