The following pages link to (Q4011720):
Displaying 32 items.
- Complexity of equational theory of relational algebras with standard projection elements (Q514569) (← links)
- Equational properties of Kleene algebras of relations with conversion (Q674338) (← links)
- A remark on nonfinitely based semirings. (Q1014259) (← links)
- A perspective on the theory of relation algebras (Q1327468) (← links)
- On dynamic algebras (Q1341742) (← links)
- Relation-algebraic semantics (Q1350513) (← links)
- Parallel constructions of maximal path sets and applications to short superstrings (Q1366535) (← links)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- The multiplicative fragment of the Yanov equational theory (Q1399998) (← links)
- Submonoids of groups, and group-representability of restricted relation algebras (Q1652850) (← links)
- On generalized subreducts of Tarski's algebras of relations with the operation of bi-directional intersection (Q1800460) (← links)
- On axioms for commutative regular equations without addition. (Q1853544) (← links)
- On equations for union-free regular languages (Q1854402) (← links)
- On the equational complexity of RRA (Q1935010) (← links)
- The variety of Kleene algebras with conversion is not finitely based (Q1978513) (← links)
- Representability of Lyndon-Maddux relation algebras (Q1991584) (← links)
- Tribute to Bjarni Jónsson (Q1991588) (← links)
- Cylindric algebras and finite polyadic algebras (Q1991591) (← links)
- On algebras of binary relations with conjunctive operations (Q2036387) (← links)
- Relation algebras of intervals (Q2171260) (← links)
- On classes of generalized subreducts of Tarski's relation algebras with one Diophantine binary operation (Q2304501) (← links)
- Relational demonic fuzzy refinement (Q2336161) (← links)
- Strongly representable atom structures of relation algebras (Q2781354) (← links)
- NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS (Q3389497) (← links)
- Binary Relations and Permutation Groups (Q4835524) (← links)
- FIRST-ORDER AXIOMATISATIONS OF REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS OF UNBOUNDED QUANTIFIER DEPTH (Q5100063) (← links)
- ON TARSKI’S AXIOMATIC FOUNDATIONS OF THE CALCULUS OF RELATIONS (Q5361138) (← links)
- Canonical varieties with no canonical axiomatisation (Q5461397) (← links)
- A relation-algebraic approach to the region connection calculus (Q5941063) (← links)
- Relation algebras from cylindric algebras. II (Q5956890) (← links)
- Seurat games on Stockmeyer graphs (Q6056811) (← links)
- Automorphisms and strongly invariant relations (Q6137589) (← links)
