First-order concatenation theory with bounded quantifiers

Lars Kristiansen, Juvenal Murwanashyaka. First-order concatenation theory with bounded quantifiers. Arch. Math. Log., 60(1):77-104, 2021. [doi]

Abstract

Abstract is missing.