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
(14)- On equational theories of semilattices with operators
- Reversible Kleene lattices
- On Kleene algebras of ternary co-relations
- On the positive calculus of relations with transitive closure
- Free Kleene algebras with domain
- Equational properties of Kleene algebras of relations with conversion
- Completeness theorems for Kleene algebra with tests and top
- Derivatives on graphs for the positive calculus of relations with transitive closure
- Cyclic system for an algebraic theory of alternating parity automata
- Language models for some extensions of the Lambek calculus
- Words-to-Letters Valuations for Language Kleene Algebras with Variable Complements
- Finite relational semantics for language Kleene algebra with complement
- Completeness for identity-free Kleene lattices
- Equational theory of continuous lattices
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)
