Equational properties of Kleene algebras of relations with conversion

DOI10.1016/0304-3975(94)00041-GMaRDI QIDQ674338zbMATH OpenFDO

Authors Zoltán Ésik, Laszlo Bernatsky

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

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

Recommendations

• Relational and Kleene-Algebraic Methods in Computer Science
• The equational theory of Kleene lattices
• Kleene algebra with converse
• Decision problems for equational theories of relation algebras
• scientific article; zbMATH DE number 638616
• Kleene algebra with equations
• On the Complexity of the Equational Theory of Relational Action Algebras
• Decidability of equational theories for subsignatures of relation algebra
• scientific article; zbMATH DE number 1107755
• Algorithms for Kleene algebra with converse

Cites work

• scientific article; zbMATH DE number 4018407 (Why is no real title available?)
• scientific article; zbMATH DE number 67032 (Why is no real title available?)
• scientific article; zbMATH DE number 3497806 (Why is no real title available?)
• scientific article; zbMATH DE number 475236 (Why is no real title available?)
• scientific article; zbMATH DE number 1988983 (Why is no real title available?)
• scientific article; zbMATH DE number 3366846 (Why is no real title available?)
• scientific article; zbMATH DE number 3390671 (Why is no real title available?)
• Complete systems of \(\mathcal B\)-rational identities
• Equational axioms for regular sets
• Matrix and matricial iteration theories. I
• Notes on equational theories of relations
• On Kleene algebras
• Representations of distributive lattice-ordered semigroups with binary relations
• Two Complete Axiom Systems for the Algebra of Regular Events
• Une remarque sur les systèmes complets d'identités rationnelles

Cited in

(25)

• Relational and Kleene-Algebraic Methods in Computer Science
• The variety of Kleene algebras with conversion is not finitely based
• Rewriting regular inequalities
• On dynamic algebras
• Reversible Kleene lattices
• Axiomatizability of representable domain algebras
• scientific article; zbMATH DE number 7559485 (Why is no real title available?)
• The equational logic of fixed points
• Algorithms for Kleene algebra with converse
• Map composition generalized to coherent collections of maps.
• On the positive calculus of relations with transitive closure
• Free Kleene algebras with domain
• On equations for union-free regular languages
• On tools for completeness of Kleene algebra with hypotheses
• Notes on equational theories of relations
• Completeness theorems for Kleene algebra with tests and top
• THE POWER OF THE GROUP-IDENTITIES FOR ITERATION
• scientific article; zbMATH DE number 3905132 (Why is no real title available?)
• Kleene algebra with converse
• IDEMPOTENT DISTRIBUTIVE SEMIRINGS WITH INVOLUTION
• Axiomatizability of positive algebras of binary relations
• The equational theory of Kleene lattices
• Equational theories for automata
• scientific article; zbMATH DE number 54353 (Why is no real title available?)
• scientific article; zbMATH DE number 7649887 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q674338)