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

zbMATH Open1249.03087MaRDI QIDQ2896492FDOQ2896492

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)

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

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)

Cited In (4)

• Primitive program algebras of computable functions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)