The variety of Kleene algebras with conv
β
S. CrvenkoviΔ; I. Dolinka; Z. Γsik
π
Article
π
2000
π
Elsevier Science
π
English
β 107 KB
Given an arbitrary set A, one obtains the full Kleene algebra of binary relations over A by considering the operations of union, composition, re exive-transitive closure, conversion, and the empty set and the identity relation as constants. Such algebras generate the variety of Kleene algebras (with