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.Comment: arXiv admin note: text overlap with arXiv:1804.0636

Kristiansen, Lars

Murwanashyaka, Juvenal

English

arXiv

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

First-Order Concatenation Theory with Bounded Quantifiers

Abstract

Similar works

Full text

Available Versions

NORA - Norwegian Open Research Archives