scientific article
From MaRDI portal
Publication:3982091
zbMath0743.18004MaRDI QIDQ3982091
Publication date: 26 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
iterationfixed pointalgebraic theorysystems of equationsleast solutionequations in categories\(\omega\)-continuous algebraic theory
Specification and verification (program logics, model checking, etc.) (68Q60) Equational categories (18C05) Theories (e.g., algebraic theories), structure, and semantics (18C10) Categories of algebras (08C05)
This page was built for publication:
