Juvenal Murwanashyaka

12 papers C 5Journal 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
Papers on weak first-order theories and decidability problems.
Bull. Symb. Log.
Juvenal Murwanashyaka
2024 C conf
A Weak First-Order Theory of Sequences.
CiE
Lars Kristiansen, Juvenal Murwanashyaka
2024 J jnl
A weak theory of building blocks.
Math. Log. Q.
Juvenal Murwanashyaka
2024 J jnl
Hilbert's tenth problem for term algebras with a substitution operator.
Comput.
Juvenal Murwanashyaka
2024 J jnl
There are no minimal essentially undecidable theories.
J. Log. Comput.
Juvenal Murwanashyaka, Fedor Pakhomov, Albert Visser
2024 J jnl
Weak essentially undecidable theories of concatenation, part II.
Arch. Math. Log.
Juvenal Murwanashyaka
2022 C conf
Hilbert's Tenth Problem for Term Algebras with a Substitution Operator.
CiE
Juvenal Murwanashyaka
2022 C conf
Weak Sequential Theories of Finite Full Binary Trees.
CiE
Juvenal Murwanashyaka
2022 J jnl
Weak essentially undecidable theories of concatenation.
Arch. Math. Log.
Juvenal Murwanashyaka
2021 J jnl
First-order concatenation theory with bounded quantifiers.
Arch. Math. Log.
Lars Kristiansen, Juvenal Murwanashyaka
2020 C conf
On Interpretability Between Some Weak Essentially Undecidable Theories.
CiE
Lars Kristiansen, Juvenal Murwanashyaka
2018 C conf
Decidable and Undecidable Fragments of First-Order Concatenation Theory.
CiE
Lars Kristiansen, Juvenal Murwanashyaka