The following pages link to Decidable and undecidable fragments of first-order concatenation theory (Q1670748):
Displaying 2 items.