The following pages link to (Q3364101):
Displaying 4 items.
- Complexity of equational theory of relational algebras with standard projection elements (Q514569) (← links)
- On computation complexity problems concerning relation algebras (Q1329260) (← links)
- A fast coset-translation algorithm for computing the cycle structure of Comer relation algebras over \(\mathbb{Z} / p \mathbb{Z}\) (Q2272411) (← links)
- Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RelView (Q3511094) (← links)