scientific article; zbMATH DE number 4197440

zbMATH Open0725.68068MaRDI QIDQ5203698FDOQ5203698

Authors: Zoltán Ésik 

Publication date: 1990

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

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

zbMATH Keywords

Iteration theories

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Categories and theories (18C99)

Cited In (22)

• Equational properties of fixed point operations in Cartesian categories: an overview
• Iteration 2-theories
• Title not available (Why is that?)
• Elgot theories: a new perspective of iteration theories (extended abstract)
• Title not available (Why is that?)
• Some quasi-varieties of iteration theories
• Title not available (Why is that?)
• Independence of the equational axioms for iteration theories
• Title not available (Why is that?)
• Dagger extension theorem
• 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)