Juvenal Murwanashyaka

According to our database, Juvenal Murwanashyaka authored at least 7 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Weak essentially undecidable theories of concatenation, part II.

Juvenal Murwanashyaka

Arch. Math. Log., May, 2024

2022

Weak essentially undecidable theories of concatenation.

Juvenal Murwanashyaka

Arch. Math. Log., 2022

Weak Sequential Theories of Finite Full Binary Trees.

Juvenal Murwanashyaka

Proceedings of the Revolutions and Revelations in Computability, 2022

Hilbert's Tenth Problem for Term Algebras with a Substitution Operator.

Juvenal Murwanashyaka

Proceedings of the Revolutions and Revelations in Computability, 2022

2021

First-order concatenation theory with bounded quantifiers.

Lars Kristiansen, Juvenal Murwanashyaka

Arch. Math. Log., 2021

2020

On Interpretability Between Some Weak Essentially Undecidable Theories.

Lars Kristiansen, Juvenal Murwanashyaka

Proceedings of the Beyond the Horizon of Computability, 2020

2018

Decidable and Undecidable Fragments of First-Order Concatenation Theory.

Lars Kristiansen, Juvenal Murwanashyaka

Proceedings of the Sailing Routes in the World of Computation, 2018