Pages that link to "Item:Q655418"
From MaRDI portal
The following pages link to The equational theory of Kleene lattices (Q655418):
Displaying 11 items.
- Equational properties of Kleene algebras of relations with conversion (Q674338) (← links)
- Equational theory of continuous lattices (Q805642) (← links)
- Free Kleene algebras with domain (Q2210872) (← links)
- Language models for some extensions of the Lambek calculus (Q2672665) (← links)
- On Kleene algebras of ternary co-relations (Q2714404) (← links)
- On the positive calculus of relations with transitive closure (Q3304097) (← links)
- On equational theories of semilattices with operators (Q3490055) (← links)
- Completeness for Identity-free Kleene Lattices (Q5009432) (← links)
- Reversible Kleene lattices (Q5111283) (← links)
- Words-to-Letters Valuations for Language Kleene Algebras with Variable Complements (Q6204135) (← links)
- Completeness theorems for Kleene algebra with tests and top (Q6635510) (← links)