Decidable and undecidable fragments of first-order concatenation theory

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

Mathematics Subject Classification ID

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