Equational properties of Kleene algebras of relations with conversion

DOI10.1016/0304-3975(94)00041-GzbMath0872.08004MaRDI QIDQ674338

Zoltán Ésik, L. Bernátsky

Publication date: 28 February 1997

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

Kleene algebrasalgebras of binary relationsequational axioms

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Equational logic, Mal'tsev conditions (08B05) Relational systems, laws of composition (08A02)

Related Items (18)

THE POWER OF THE GROUP-IDENTITIES FOR ITERATION ⋮ On dynamic algebras ⋮ Algorithms for Kleene algebra with converse ⋮ Notes on equational theories of relations ⋮ Rewriting regular inequalities ⋮ Unnamed Item ⋮ The equational logic of fixed points ⋮ Axiomatizability of representable domain algebras ⋮ Unnamed Item ⋮ Axiomatizability of positive algebras of binary relations ⋮ The equational theory of Kleene lattices ⋮ The variety of Kleene algebras with conversion is not finitely based ⋮ Unnamed Item ⋮ IDEMPOTENT DISTRIBUTIVE SEMIRINGS WITH INVOLUTION ⋮ Equational theories for automata ⋮ Reversible Kleene lattices ⋮ On equations for union-free regular languages ⋮ Map composition generalized to coherent collections of maps.

Cites Work

• Complete systems of \(\mathcal B\)-rational identities
• Notes on equational theories of relations
• Representations of distributive lattice-ordered semigroups with binary relations
• Matrix and matricial iteration theories. I
• Une remarque sur les systèmes complets d'identités rationnelles
• Equational axioms for regular sets
• Two Complete Axiom Systems for the Algebra of Regular Events
• On Kleene algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Equational properties of Kleene algebras of relations with conversion