Decidable and Undecidable Fragments of First-Order Concatenation Theory. - Lars Kristiansen; Juvenal Murwanashyaka (CiE, 2018)

On Interpretability Between Some Weak Essentially Undecidable Theories. - Lars Kristiansen; Juvenal Murwanashyaka (CiE, 2020)

First-order concatenation theory with bounded quantifiers. - Lars Kristiansen; Juvenal Murwanashyaka (Arch. Math. Log., 2021)

Weak Sequential Theories of Finite Full Binary Trees. - Juvenal Murwanashyaka (CiE, 2022)

Weak essentially undecidable theories of concatenation. - Juvenal Murwanashyaka (Arch. Math. Log., 2022)

A Weak First-Order Theory of Sequences. - Lars Kristiansen; Juvenal Murwanashyaka (CiE, 2024)

Hilbert's tenth problem for term algebras with a substitution operator. - Juvenal Murwanashyaka (Comput., 2024)

There are no minimal essentially undecidable theories. - Juvenal Murwanashyaka; Fedor Pakhomov; Albert Visser (J. Log. Comput., 2024)

Weak essentially undecidable theories of concatenation, part II. - Juvenal Murwanashyaka (Arch. Math. Log., 2024)

A weak theory of building blocks. - Juvenal Murwanashyaka (Math. Log. Q., 2024)