First-Order Concatenation Theory with Bounded Quantifiers
arXiv:2003.04964
Abstract
We study first-order concatenation theory with bounded quantifiers. We give axiomatizations with interesting properties, and we prove some normal-form results. Finally, we prove a number of decidability and undecidability results.
arXiv admin note: text overlap with arXiv:1804.06367