The variety of Kleene algebras with conversion is not finitely based
DOI10.1016/S0304-3975(99)00079-1zbMATH Open0954.08004OpenAlexW1986949269MaRDI QIDQ1978513FDOQ1978513
Authors: Siniša Crvenković, Igor Dolinka, Zoltán Ésik 
Publication date: 4 June 2000
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0304-3975(99)00079-1
Recommendations
Formal languages and automata (68Q45) Relational systems, laws of composition (08A02) Equational classes, universal algebra in model theory (03C05) Equational logic, Mal'tsev conditions (08B05) Applications of universal algebra in computer science (08A70)
Cites Work
- Group axioms for iteration
- The equational logic of fixed points
- 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
- Title not available (Why is that?)
- Complete systems of \(\mathcal B\)-rational identities
- Notes on equational theories of relations
- Title not available (Why is that?)
- Title not available (Why is that?)
- Equational properties of Kleene algebras of relations with conversion
- On Kleene algebras
- Title not available (Why is that?)
- Nonfinite axiomatizability of the equational theory of shuffle
- Title not available (Why is that?)
Cited In (13)
- Representations and identities of Baxter monoids with involution
- On Kleene algebras
- Finite basis problem for Catalan monoids with involution
- On equations for union-free regular languages
- Abstract abstract reduction
- THE FINITE BASIS PROBLEM FOR INVOLUTION SEMIGROUPS OF TRIANGULAR MATRICES
- The monoid of \(2 \times 2\) triangular Boolean matrices under skew transposition is non-finitely based
- The max-plus algebra of the natural numbers has no finite equational basis
- IDEMPOTENT DISTRIBUTIVE SEMIRINGS WITH INVOLUTION
- Axiomatizability of positive algebras of binary relations
- Finite basis problem for Lee monoids with involution
- Finite basis problem for involution monoids of unitriangular Boolean matrices
- A non-finitely based involution semigroup of order five
This page was built for publication: The variety of Kleene algebras with conversion is not finitely based
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1978513)
