Pages that link to "Item:Q1344844"
From MaRDI portal
The following pages link to Notes on equational theories of relations (Q1344844):
Displaying 15 items.
- Algorithms for Kleene algebra with converse (Q299194) (← 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)
- Completeness of Park induction (Q1391869) (← links)
- The variety of Kleene algebras with conversion is not finitely based (Q1978513) (← links)
- Equational theories for automata (Q2074221) (← links)
- Free Kleene algebras with domain (Q2210872) (← links)
- Abstract strategies and coherence (Q2695348) (← links)
- (Q3304097) (← links)
- IDEMPOTENT DISTRIBUTIVE SEMIRINGS WITH INVOLUTION (Q4464967) (← links)
- Algebraic coherent confluence and higher globular Kleene algebras (Q5060195) (← links)
- Reversible Kleene lattices (Q5111283) (← links)
- (Q5875344) (← links)
- Words-to-Letters Valuations for Language Kleene Algebras with Variable Complements (Q6204135) (← links)
