Pages that link to "Item:Q1913874"
From MaRDI portal
The following pages link to Axiomatization of identity-free equations valid in relation algebras (Q1913874):
Displaying 7 items.
- Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited (Q368481) (← links)
- Axiomatizability of positive algebras of binary relations (Q647324) (← links)
- Independence of the equational axioms for iteration theories (Q1106011) (← 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)
- Theoretical Aspects of Computing - ICTAC 2004 (Q5709983) (← links)