The following pages link to On Kleene algebras (Q5894726):
Displayed 5 items.
- 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)