Notes on equational theories of relations
Publication:1344844
DOI10.1007/BF01190768zbMATH Open0834.08004OpenAlexW2049894505MaRDI QIDQ1344844FDOQ1344844
Stephen L. Bloom, Gh. Ştefănescu, Zoltán Ésik
Publication date: 22 February 1995
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01190768
free algebrasbinary relationsrelation algebrasemiringsequational theoryKleene algebrasKleene stardynamic algebrasalgebras of formal languages in a free monoid
Formal languages and automata (68Q45) Decidability of theories and sets of sentences (03B25) Free algebras (08B20) Semirings (16Y60) Applications of universal algebra in computer science (08A70)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Matrix and matricial iteration theories. I
- Equational axioms for regular sets
- On the calculus of relations
- Complete systems of \(\mathcal B\)-rational identities
- Equational properties of Kleene algebras of relations with conversion
Cited In (20)
- The variety of Kleene algebras with conversion is not finitely based
- Comments on ``Aggregation of equivalence relations by P. C. Fishburn and A. Rubinstein
- On dynamic algebras
- Axiomatization of identity-free equations valid in relation algebras
- Reversible Kleene lattices
- Algebraic coherent confluence and higher globular Kleene algebras
- Completeness of Park induction
- The equational logic of fixed points
- Algorithms for Kleene algebra with converse
- Free Kleene algebras with domain
- Equational properties of Kleene algebras of relations with conversion
- On tools for completeness of Kleene algebra with hypotheses
- Completeness theorems for Kleene algebra with tests and top
- Words-to-Letters Valuations for Language Kleene Algebras with Variable Complements
- A note on equational theories
- IDEMPOTENT DISTRIBUTIVE SEMIRINGS WITH INVOLUTION
- Equational theories for automata
- Abstract strategies and coherence
- Title not available (Why is that?)
- Title not available (Why is that?)
This page was built for publication: Notes on equational theories of relations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1344844)
