scientific article; zbMATH DE number 4197440
From MaRDI portal
Publication:5203698
Recommendations
- scientific article; zbMATH DE number 1114042
- Equational properties of iteration in algebraically complete categories
- ITERATION ALGEBRAS
- Equational properties of fixed point operations in Cartesian categories: an overview
- Equational properties of fixed-point operations in Cartesian categories: an overview
- scientific article; zbMATH DE number 233974
- Some quasi-varieties of iteration theories
- Equational logic of circular data type specification
- Algebras of iteration theories
- Independence of the equational axioms for iteration theories
Cited in
(22)- Equational properties of fixed point operations in Cartesian categories: an overview
- Elgot theories: a new perspective of iteration theories (extended abstract)
- scientific article; zbMATH DE number 1373518 (Why is no real title available?)
- Iteration 2-theories
- scientific article; zbMATH DE number 4060752 (Why is no real title available?)
- Some quasi-varieties of iteration theories
- scientific article; zbMATH DE number 6740664 (Why is no real title available?)
- Independence of the equational axioms for iteration theories
- Dagger extension theorem
- scientific article; zbMATH DE number 3931004 (Why is no real title available?)
- Matrix and matricial iteration theories. II
- Completeness of Park induction
- The equational logic of fixed points
- Equational properties of fixed-point operations in Cartesian categories: an overview
- Equational logic of circular data type specification
- Axiomatizing prefix iteration with silent steps
- Matrix and matricial iteration theories. I
- Axiomatizing weighted synchronization trees and weighted bisimilarity
- THE POWER OF THE GROUP-IDENTITIES FOR ITERATION
- Iteration Grove Theories with Applications
- The iterative conception of set. A (bi-)modal axiomatisation
- Elgot theories: a new perspective on the equational properties of iteration
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 Q5203698)
