activity
20182025
most citedNotes on Fragments of First-Order Concatenation Theory

1 citations · 1 across the 7 of their papers we have counts for

collaborators
Showing 2020Show all

1 paper · 1 filter

math.LO2020

First-Order Concatenation Theory with Bounded Quantifiers

Lars Kristiansen, Juvenal Murwanashyaka

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…