The following pages link to (Q4873976):
Displaying 4 items.
- Complexity of equational theory of relational algebras with standard projection elements (Q514569) (← links)
- Filter distributive logics (Q1066139) (← links)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- A short proof of representability of fork algebras (Q1389659) (← links)
