论文标题
一阶串联理论与有界量词
First-Order Concatenation Theory with Bounded Quantifiers
论文作者
论文摘要
我们研究了与有限量化器的一阶串联理论。我们给出具有有趣属性的公理化，并证明了一些正常形式的结果。最后，我们证明了许多可决定性和不确定性结果。
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.
