The following pages link to The taming of the semi-linear set (Q4598270):
Displaying 14 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)
- The complexity of soundness in workflow nets (Q6649450) (← links)
- Geometric decision procedures and the VC dimension of linear arithmetic theories (Q6649496) (← links)
- Jumping automata over infinite words (Q6661761) (← links)
