scientific article
From MaRDI portal
Publication:2707234
zbMath0959.68059MaRDI QIDQ2707234
Publication date: 1 April 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
An analysis of the equational properties of the well-founded fixed point ⋮ Unnamed Item ⋮ Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview ⋮ Equational Properties of Stratified Least Fixed Points (Extended Abstract) ⋮ Equational properties of iterative monads ⋮ Equational axioms associated with finite automata for fixed point operations in cartesian categories ⋮ Unnamed Item ⋮ Equational properties of fixed-point operations in cartesian categories: An overview ⋮ Traced Premonoidal Categories ⋮ The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics