The following pages link to (Q3602611):
Displaying 4 items.
- Generalized halfspaces in dimension groups (Q925849) (← links)
- A representation of convex semilinear sets (Q987186) (← links)
- Elimination of unbounded quantifiers for some poly-regular groups of infinite rank (Q2461190) (← links)
- A discrete variant of Farkas' lemma and related results (Q5162596) (← links)
