scientific article; zbMATH DE number 23838

zbMATH Open0743.18004MaRDI QIDQ3982091FDOQ3982091

Authors: Virgil Emil Căzănescu 

Publication date: 26 June 1992

Title of this publication is not available (Why is that?)

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

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)

Cited In (6)

• Iterative solution to a system of matrix equations
• Title not available (Why is that?)
• Weighted systems of equations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)