The following pages link to (Q5016357):
Displaying 6 items.
- Closure properties of knapsack semilinear groups (Q2236107) (← links)
- Operational Accepting State Complexity: The Unary and Finite Case (Q5205038) (← links)
- Operational State Complexity and Decidability of Jumping Finite Automata (Q5384429) (← links)
- Exponent equations in HNN-extensions (Q6601462) (← links)
- Geometric decision procedures and the VC dimension of linear arithmetic theories (Q6649496) (← links)
- Jumping automata over infinite words (Q6661761) (← links)
