Now showing items 1-1 of 1

  • Kristiansen, Lars; Murwanashyaka, Juvenal (Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2018)
    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 we identify. Furthermore, we prove some ...