Pages that link to "Item:Q1894553"
From MaRDI portal
The following pages link to The equational theory of union-free algebras of relations (Q1894553):
Displaying 40 items.
- On partially ordered semigroups of relations with domino operations. (Q284661) (← links)
- Algorithms for Kleene algebra with converse (Q299194) (← links)
- Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited (Q368481) (← links)
- Axiomatizability of positive algebras of binary relations (Q647324) (← links)
- The equational theory of Kleene lattices (Q655418) (← links)
- On the construction of free algebras for equational systems (Q1014644) (← links)
- Notes on equational theories of relations (Q1344844) (← links)
- On quasi-identities of relation algebras with Diophantine operations (Q1363476) (← links)
- Simple involutive quantales (Q1372652) (← links)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- Complexity of equations valid in algebras of relations. II: Finite axiomatizations (Q1377626) (← links)
- Domain and range for angelic and demonic compositions (Q1734512) (← links)
- Identities of groupoids of relations with operation of cylindered intersection (Q1792505) (← links)
- On generalized subreducts of Tarski's algebras of relations with the operation of bi-directional intersection (Q1800460) (← links)
- Equational theory of relation algebras with positive operations (Q1901893) (← links)
- Axiomatization of identity-free equations valid in relation algebras (Q1913874) (← links)
- On algebras of binary relations with conjunctive operations (Q2036387) (← links)
- On groupoids of relations with one conjunctive operation of rank 2 (Q2082252) (← links)
- Expressive power and succinctness of the positive calculus of binary relations (Q2141281) (← links)
- On algebras of relations with operations of left and right reflexive product (Q2207015) (← links)
- On Jónsson's problem for groupoids of relations with operation of binary cylindrification (Q2217780) (← links)
- On varieties of groupoids of relations with operation of binary cylindrification. (Q2257978) (← links)
- On classes of generalized subreducts of Tarski's relation algebras with one Diophantine binary operation (Q2304501) (← links)
- On identities of relation algebras with domino operations. (Q2356577) (← links)
- Normal forms for binary relations (Q2503327) (← links)
- Presenting basic graph logic (Q2671594) (← links)
- The class of representable semilattice-ordered monoids is not a variety (Q2695350) (← links)
- On the positive calculus of relations with transitive closure (Q3304097) (← links)
- Undecidability of representability as binary relations (Q4899169) (← links)
- Completeness for Identity-free Kleene Lattices (Q5009432) (← links)
- (Q5089295) (← links)
- Expressive Power and Succinctness of the Positive Calculus of Relations (Q5098722) (← links)
- О базисах тождеств многообразий группоидов отношений (Q5109607) (← links)
- Reversible Kleene lattices (Q5111283) (← links)
- \(K_4\)-free graphs as a free algebra (Q5111293) (← links)
- (Q5239568) (← links)
- On canonicity and completions of weakly representable relation algebras (Q5388728) (← links)
- Term Rewriting and Applications (Q5703875) (← links)
- On the variety generated by generalized subreducts of Tarski's algebras of relations (Q6053400) (← links)
- Completeness theorems for Kleene algebra with tests and top (Q6635510) (← links)