The following pages link to On Kleene algebras (Q5894726):
Displaying 17 items.
- Free iterative and iteration \(K\)-semialgebras (Q412016) (← links)
- Equational properties of Kleene algebras of relations with conversion (Q674338) (← links)
- On the expressive power of Kleene algebra with domain (Q903368) (← links)
- On dynamic algebras (Q1341742) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- Kleene algebra of partial predicates (Q1796766) (← 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)
- On the complexity of reasoning in Kleene algebra (Q2506487) (← links)
- A Quest for Kleene Algebra in 2 Dimensions (Q3460613) (← links)
- (Q4034293) (← links)
- (Q4202947) (← links)
- A FAMILY OF FINITE DE MORGAN AND KLEENE ALGEBRAS (Q4650071) (← links)
- (Q4995358) (← links)
- Kleene algebra with domain (Q5277765) (← links)
- (Q5737908) (← links)