𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Equational properties of Kleene algebras of relations with conversion

✍ Scribed by Z. Ésik; L. Bernátsky

Book ID
107948780
Publisher
Elsevier Science
Year
1995
Tongue
English
Weight
943 KB
Volume
137
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The variety of Kleene algebras with conv
The variety of Kleene algebras with conversion is not finitely based
✍ 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