Notes on equational theories of relations

DOI10.1007/BF01190768zbMath0834.08004OpenAlexW2049894505MaRDI QIDQ1344844

Gheorghe Ştefănescu, Stephen L. Bloom, 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

zbMATH Keywords

relation algebrafree algebrassemiringsequational theorydynamic algebrasbinary relationsKleene starKleene algebrasalgebras of formal languages in a free monoid

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Applications of universal algebra in computer science (08A70) Decidability of theories and sets of sentences (03B25) Semirings (16Y60) Free algebras (08B20)

Related Items (15)

On dynamic algebras ⋮ Algorithms for Kleene algebra with converse ⋮ Unnamed Item ⋮ Algebraic coherent confluence and higher globular Kleene algebras ⋮ The equational logic of fixed points ⋮ Completeness of Park induction ⋮ Unnamed Item ⋮ Words-to-Letters Valuations for Language Kleene Algebras with Variable Complements ⋮ Abstract strategies and coherence ⋮ Free Kleene algebras with domain ⋮ The variety of Kleene algebras with conversion is not finitely based ⋮ Equational properties of Kleene algebras of relations with conversion ⋮ IDEMPOTENT DISTRIBUTIVE SEMIRINGS WITH INVOLUTION ⋮ Equational theories for automata ⋮ Reversible Kleene lattices

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Equational properties of Kleene algebras of relations with conversion
• Complete systems of \(\mathcal B\)-rational identities
• Matrix and matricial iteration theories. I
• Equational axioms for regular sets
• On the calculus of relations

This page was built for publication: Notes on equational theories of relations