Title:
The equational theory of fixed points and Kleene
relation algebras


Abstract:
The equational theory of fixed point operations
is captured by the notion of Iteration Theories.
Several equational theories can be finitely axiomatized
relatively to iteration theories, including the equational
theory of Kleene relation algebras with or without
relational converse.