On Kleene algebras

DOI10.1016/0304-3975(93)90228-LzbMath0778.03006MaRDI QIDQ5894726

Siniša Crvenković, Rozália Sz. Madarász

Publication date: 12 January 1994

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

word problemalgebras of regular languagesequational theory of Kleene algebrasinversion-free Kleene algebrasKleene relation algebras

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Equational classes, universal algebra in model theory (03C05) Word problems (aspects of algebraic structures) (08A50)

Related Items (8)

On dynamic algebras ⋮ The equational logic of fixed points ⋮ Free iterative and iteration \(K\)-semialgebras ⋮ Relational characterisations of paths ⋮ The variety of Kleene algebras with conversion is not finitely based ⋮ Equational properties of Kleene algebras of relations with conversion ⋮ Unnamed Item ⋮ On equations for union-free regular languages

Cites Work

• Every free algebra in the variety generated by the representable dynamic algebras is separable and representable
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On Kleene algebras