scientific article; zbMATH DE number 4197440

zbMath0725.68068MaRDI QIDQ5203698

Zoltán Ésik

Publication date: 1990

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Iteration theories

Mathematics Subject Classification ID

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

Related Items

Some quasi-varieties of iteration theories, Matrix and matricial iteration theories. I, Matrix and matricial iteration theories. II, Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview, The equational logic of fixed points, Completeness of Park induction, Equational properties of fixed-point operations in cartesian categories: An overview, Axiomatizing weighted synchronization trees and weighted bisimilarity