Pages that link to "Item:Q1377626"
From MaRDI portal
The following pages link to Complexity of equations valid in algebras of relations. II: Finite axiomatizations (Q1377626):
Displaying 18 items.
- Bare canonicity of representable cylindric and polyadic algebras (Q387126) (← links)
- Complexity of equational theory of relational algebras with standard projection elements (Q514569) (← links)
- Weakly higher order cylindric algebras and finite axiomatization of the representables (Q1005971) (← links)
- One variable is not enough for defining relation algebras, but two are (Q1175933) (← links)
- Notions of density that imply representability in algebraic logic (Q1295366) (← links)
- On computation complexity problems concerning relation algebras (Q1329260) (← links)
- Atom structures of cylindric algebras and relation algebras (Q1377624) (← links)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- Axiomatizability of reducts of algebras of relations (Q1866804) (← links)
- Axiomatization of identity-free equations valid in relation algebras (Q1913874) (← links)
- On the equational complexity of RRA (Q1935010) (← links)
- On the finite axiomatizability of the visibility relation over radars (Q2822172) (← links)
- On finite axiomatizability of expansions of cylindric algebras (Q2889954) (← links)
- Axiomatising Various Classes of Relation and Cylindric Algebras (Q3126404) (← links)
- On the complexity of axiomatizations of the class of representable quasi-polyadic equality algebras (Q3170559) (← links)
- Decision problems for equational theories of relation algebras (Q4338157) (← links)
- (Q4390777) (← links)
- Relation algebras from cylindric algebras. II (Q5956890) (← links)
