The following pages link to Varieties of relation algebras (Q797616):
Displaying 18 items.
- Relation algebra with multi-relations (Q4256050) (← links)
- Universal classes of simple relation algebras (Q4262570) (← links)
- Dynamic logic with program specifications and its relational proof system (Q4291023) (← links)
- Undecidable semiassociative relation algebras (Q4302341) (← links)
- The lattice of varieties of representable relation algebras (Q4302359) (← links)
- (Q4612556) (← links)
- Erdős Graphs Resolve Fine's Canonicity Problem (Q4678939) (← links)
- A Completeness Result for Relation Algebra with Binders (Q4916210) (← links)
- Weakening Relation Algebras and FL$$^2$$-algebras (Q5098717) (← links)
- О базисах тождеств многообразий группоидов отношений (Q5109607) (← links)
- ON TARSKI’S AXIOMATIC FOUNDATIONS OF THE CALCULUS OF RELATIONS (Q5361138) (← links)
- Introduction to Relation Algebras (Q5364875) (← links)
- How many varieties of cylindric algebras are there (Q5367105) (← links)
- Free algebras in discriminator varieties (Q5905422) (← links)
- Relativized relation algebras (Q5932467) (← links)
- Completeness of a relational calculus for program schemes (Q5940932) (← links)
- A relation-algebraic approach to the region connection calculus (Q5941063) (← links)
- Rational mechanics and natural mathematics (Q6487235) (← links)