Notes on Fragments of First-Order Concatenation Theory
From MaRDI portal
Publication:6300473
DOI10.1007/978-3-319-94418-0_25zbMath1509.03094arXiv1804.06367MaRDI QIDQ6300473
Juvenal Murwanashyaka, Lars Kristiansen
Publication date: 17 April 2018
03B25: Decidability of theories and sets of sentences
03C07: Basic properties of first-order languages and structures