Lars Kristiansen, Juvenal Murwanashyaka. Decidable and Undecidable Fragments of First-Order Concatenation Theory. In Florin Manea, Russell G. Miller, Dirk Nowotka, editors, Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings. Volume 10936 of Lecture Notes in Computer Science, pages 244-253, Springer, 2018. [doi]
Abstract is missing.