Decidable and undecidable fragments of first-order concatenation theory
From MaRDI portal
Publication:1670748
DOI10.1007/978-3-319-94418-0_25OpenAlexW2809760744MaRDI QIDQ1670748
Juvenal Murwanashyaka, Lars Kristiansen
Publication date: 6 September 2018
Full work available at URL: https://arxiv.org/abs/1804.06367
Decidability of theories and sets of sentences (03B25) Basic properties of first-order languages and structures (03C07)
Related Items
First-order concatenation theory with bounded quantifiers ⋮ Weak essentially undecidable theories of concatenation
This page was built for publication: Decidable and undecidable fragments of first-order concatenation theory