Solving polynomial fixed point equations
From MaRDI portal
Cites work
- n-Rational Algebras II. Varieties and Logic of inequalities
- Algebras of iteration theories
- Complete systems of \(\mathcal B\)-rational identities
- Fixed-point operations on ccc's. I
- scientific article; zbMATH DE number 4018407 (Why is no real title available?)
- scientific article; zbMATH DE number 439891 (Why is no real title available?)
- scientific article; zbMATH DE number 3681119 (Why is no real title available?)
- scientific article; zbMATH DE number 1231455 (Why is no real title available?)
- scientific article; zbMATH DE number 233974 (Why is no real title available?)
- scientific article; zbMATH DE number 3366846 (Why is no real title available?)
- Independence of the equational axioms for iteration theories
- Initial Algebra Semantics and Continuous Algebras
- ITERATION ALGEBRAS
- Iterative algebras
- SOME EQUATIONAL LAWS OF INITIALITY IN 2CCC’S
- Unique fixed points vs. least fixed points
- Varieties of Iteration Theories
Cited in
(9)- Group axioms for iteration
- The equational logic of fixed points
- Completeness of Park induction
- On diagonal fixed points of increasing functions
- The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics
- scientific article; zbMATH DE number 6987095 (Why is no real title available?)
- scientific article; zbMATH DE number 7437711 (Why is no real title available?)
- Fractals from regular behaviours
- Axiomatizing the equational theory of regular tree languages
This page was built for publication: Solving polynomial fixed point equations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5096869)
