The following pages link to The taming of the semi-linear set (Q4598270):
Displaying 11 items.
- Monadic decomposition in integer linear arithmetic (Q2096441) (← links)
- On the expressiveness of Büchi arithmetic (Q2233416) (← links)
- Closure properties of knapsack semilinear groups (Q2236107) (← links)
- Context-free commutative grammars with integer counters and resets (Q2636518) (← links)
- Enumerating Projections of Integer Points in Unbounded Polyhedra (Q4638995) (← links)
- (Q4968382) (← links)
- (Q5009428) (← links)
- (Q5009439) (← links)
- (Q5016357) (← links)
- (Q5092425) (← links)
- (Q5155662) (← links)
