scientific article; zbMATH DE number 23838

MaRDI QIDQ3982091zbMATH OpenFDO

Authors Virgil Emil Căzănescu

Publication date 26 June 1992

zbMATH Keywords

fixed pointiterationsystems of equationsalgebraic theoryleast solutionequations in categories\(\omega\)-continuous algebraic theory

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Categories of algebras (08C05) Theories (e.g., algebraic theories), structure, and semantics (18C10) Equational categories (18C05)

Recommendations

• scientific article; zbMATH DE number 3992934
• Iterative algebras
• Solving fixed-point equations by derivation tree analysis
• Publication:4866585
• scientific article; zbMATH DE number 233974

Cited in

(6)

• scientific article; zbMATH DE number 3992934 (Why is no real title available?)
• Weighted systems of equations
• scientific article; zbMATH DE number 56946 (Why is no real title available?)
• scientific article; zbMATH DE number 2156809 (Why is no real title available?)
• Iterative solution to a system of matrix equations
• scientific article; zbMATH DE number 850633 (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 Q3982091)