Recommendations
Cites work
- scientific article; zbMATH DE number 475236 (Why is no real title available?)
- scientific article; zbMATH DE number 873168 (Why is no real title available?)
- scientific article; zbMATH DE number 3366846 (Why is no real title available?)
- A completeness theorem for Kleene algebras and the algebra of regular events
- Axiomatizability of positive algebras of binary relations
- Dynamic algebras: Examples, constructions, applications
- Equational properties of Kleene algebras of relations with conversion
- Every free algebra in the variety generated by the representable dynamic algebras is separable and representable
- The equational theory of union-free algebras of relations
Cited in
(11)- Free Kleene algebras with domain
- Reversible Kleene lattices
- On Kleene algebras of ternary co-relations
- On the positive calculus of relations with transitive closure
- Words-to-Letters Valuations for Language Kleene Algebras with Variable Complements
- Language models for some extensions of the Lambek calculus
- On equational theories of semilattices with operators
- Equational theory of continuous lattices
- Equational properties of Kleene algebras of relations with conversion
- Completeness for identity-free Kleene lattices
- Completeness theorems for Kleene algebra with tests and top
This page was built for publication: The equational theory of Kleene lattices
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q655418)
