The following pages link to (Q4503910):
Displaying 9 items.
- Complexity of equational theory of relational algebras with standard projection elements (Q514569) (← links)
- Conditional equational theories and complete sets of transformations (Q918541) (← links)
- Compiling dyadic first-order specifications into map algebra (Q1870581) (← links)
- Three-variable statements of set-pairing (Q1885036) (← links)
- A graphical representation of relational formulae with complementation (Q2889180) (← links)
- Set theory in predicate calculus with equality (Q3322073) (← links)
- Theories with equational forking (Q4532618) (← links)
- Layered map reasoning (Q4923516) (← links)
- Reasoning on relations, modalities, and sets (Q6599612) (← links)