Pages that link to "Item:Q299194"
From MaRDI portal
The following pages link to Algorithms for Kleene algebra with converse (Q299194):
Displaying 6 items.
- Equational properties of Kleene algebras of relations with conversion (Q674338) (← links)
- Symbolic algorithms for language equivalence and Kleene algebra with tests (Q2819822) (← links)
- On the positive calculus of relations with transitive closure (Q3304097) (← links)
- (Q4202947) (← links)
- Reversible Kleene lattices (Q5111283) (← links)
- Completeness theorems for Kleene algebra with tests and top (Q6635510) (← links)