Pages that link to "Item:Q5009432"
From MaRDI portal
The following pages link to Completeness for Identity-free Kleene Lattices (Q5009432):
Displaying 6 items.
- A completeness theorem for Kleene algebras and the algebra of regular events (Q1327385) (← links)
- Left-handed completeness (Q2286746) (← links)
- (Q5089295) (← links)
- A completeness theorem for nondeterministic Kleene algebras (Q5096912) (← links)
- (Q5875344) (← links)
- Completeness theorems for Kleene algebra with tests and top (Q6635510) (← links)