The following pages link to Quadratic word equations with length constraints, counter systems, and Presburger arithmetic with divisibility (Q6109598):
Displaying 1 item.