Equational properties of Kleene algebras of relations with conversion
type: Item
instance of: scholarly article
title: Equational properties of Kleene algebras of relations with conversion
zbMATH Open document ID: 0872.08004
DOI: 10.1016/0304-3975(94)00041-G
author: Zoltán Ésik
author: Laszlo Bernatsky
published in: Theoretical Computer Science
publication date: 1997-02-28T00:00:00Z
Mathematics Subject Classification ID: 08B05
Mathematics Subject Classification ID: 08A70
Mathematics Subject Classification ID: 08A02
zbMATH DE Number: 986072
zbMATH Keywords: Kleene algebras
zbMATH Keywords: equational axioms
zbMATH Keywords: algebras of binary relations
MaRDI profile type: Publication
cites work: Representations of distributive lattice-ordered semigroups with binary relations
cites work: Q3030266
cites work: Matrix and matricial iteration theories. I
cites work: Equational axioms for regular sets
cites work: Notes on equational theories of relations
cites work: Une remarque sur les systèmes complets d'identités rationnelles
cites work: Q5639639
cites work: On Kleene algebras
cites work: Q4079524
cites work: Q5659467
cites work: Q4430312
cites work: Q4011720
cites work: Complete systems of \(\mathcal B\)-rational identities
cites work: Q4273477
cites work: Two Complete Axiom Systems for the Algebra of Regular Events
Recommended article: Relational and Kleene-Algebraic Methods in Computer Science
Recommended article: The equational theory of Kleene lattices
Recommended article: Kleene Algebra with Converse
Recommended article: Decision problems for equational theories of relation algebras
Recommended article: Q4305489
Recommended article: Kleene Algebra with Equations
Recommended article: On the Complexity of the Equational Theory of Relational Action Algebras
Recommended article: Decidability of equational theories for subsignatures of relation algebra
Recommended article: Q4373705
Recommended article: Algorithms for Kleene algebra with converse
description: scientific article; zbMATH DE number 986072