1 citations · 1 across the 7 of their papers we have counts for
1 paper · 1 filter
Lars Kristiansen, Juvenal Murwanashyaka
We identify a number of decidable and undecidable fragments of first-order concatenation theory. We also give a purely universal axiomatization which is complete for the fragments…