Equational properties of Kleene algebras of relations with conversion
From MaRDI portal
Publication:674338
DOI10.1016/0304-3975(94)00041-GzbMATH Open0872.08004MaRDI QIDQ674338FDOQ674338
Authors: Zoltán Ésik, Laszlo Bernatsky 
Publication date: 28 February 1997
Published in: Theoretical Computer Science (Search for Journal in Brave)
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
Relational systems, laws of composition (08A02) Equational logic, Mal'tsev conditions (08B05) Applications of universal algebra in computer science (08A70)
Cites Work
- Matrix and matricial iteration theories. I
- Title not available (Why is that?)
- Equational axioms for regular sets
- Title not available (Why is that?)
- Two Complete Axiom Systems for the Algebra of Regular Events
- Complete systems of \(\mathcal B\)-rational identities
- Notes on equational theories of relations
- Une remarque sur les systèmes complets d'identités rationnelles
- Title not available (Why is that?)
- On Kleene algebras
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Representations of distributive lattice-ordered semigroups with binary relations
- Title not available (Why is that?)
Cited In (25)
- 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
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- Kleene algebra with converse
- IDEMPOTENT DISTRIBUTIVE SEMIRINGS WITH INVOLUTION
- Axiomatizability of positive algebras of binary relations
- Equational theories for automata
- The equational theory of Kleene lattices
- Title not available (Why is that?)
- Title not available (Why is that?)
- Relational and Kleene-Algebraic Methods in Computer Science
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)
