Pages that link to "Item:Q1344844"
From MaRDI portal
The following pages link to Notes on equational theories of relations (Q1344844):
Displaying 24 items.
- Algorithms for Kleene algebra with converse (Q299194) (← links)
- The equational theory of Kleene lattices (Q655418) (← links)
- Equational properties of Kleene algebras of relations with conversion (Q674338) (← links)
- Comments on ``Aggregation of equivalence relations'' by P. C. Fishburn and A. Rubinstein (Q1109472) (← links)
- On dynamic algebras (Q1341742) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- Completeness of Park induction (Q1391869) (← links)
- The equational theory of union-free algebras of relations (Q1894553) (← links)
- Equational theory of relation algebras with positive operations (Q1901893) (← links)
- Axiomatization of identity-free equations valid in relation algebras (Q1913874) (← 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)
- A note on equational theories (Q2710602) (← links)
- On Kleene algebras of ternary co-relations (Q2714404) (← links)
- On the positive calculus of relations with transitive closure (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)
- On tools for completeness of Kleene algebra with hypotheses (Q6563055) (← links)
- Completeness theorems for Kleene algebra with tests and top (Q6635510) (← links)
