Decidable and Undecidable Fragments of First-Order Concatenation Theory.

Lars Kristiansen, Juvenal Murwanashyaka

Browse the full CiE paper archive.