The following pages link to (Q4735171):
Displaying 6 items.
- On partially ordered semigroups of relations with domino operations. (Q284661) (← links)
- Identities of semigroups of relations with an operator of reflexive double cylindrification (Q465152) (← links)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- On identities of relation algebras with domino operations. (Q2356577) (← links)
- (Q5239568) (← links)
- Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras (Q5249693) (← links)