The following pages link to Layered map reasoning (Q4923516):
Displaying 4 items.
- 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)
- Reasoning on relations, modalities, and sets (Q6599612) (← links)