scientific article; zbMATH DE number 3846845

MaRDI QIDQ3316565zbMATH OpenFDO

Authors Dinh Manh Tuong

Publication date 1983

zbMATH Keywords

composition programmingprogram constructionprogram logics

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• Composition algebras
• f-representation of a function algebra
• Algebraic formulae for compositions of functions in rings
• Composition algebras of polynomials
• Algebraic composition of function tables
• Algebras of multiplace functions
• scientific article; zbMATH DE number 3396232
• Algebras of multiplace functions
• Composition algebras satisfying certain identities
• Algebraic and essentially algebraic composition operators on \(C(X)\)

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