Pages that link to "Item:Q1913874"
From MaRDI portal
The following pages link to Axiomatization of identity-free equations valid in relation algebras (Q1913874):
Displayed 4 items.
- Axiomatizability of positive algebras of binary relations (Q647324) (← links)
- Weakly representable but not representable relation algebras (Q1337158) (← 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)