The following pages link to On Kleene algebras (Q5894726):
Displayed 8 items.
- Free iterative and iteration \(K\)-semialgebras (Q412016) (← links)
- Equational properties of Kleene algebras of relations with conversion (Q674338) (← links)
- On dynamic algebras (Q1341742) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- On equations for union-free regular languages (Q1854402) (← links)
- The variety of Kleene algebras with conversion is not finitely based (Q1978513) (← links)
- Relational characterisations of paths (Q2210868) (← links)
- (Q5737908) (← links)