Juvenal Murwanashyaka

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

Collaborative distances:

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

2024

A weak theory of building blocks.

Juvenal Murwanashyaka

Math. Log. Q., May, 2024

Weak essentially undecidable theories of concatenation, part II.

Juvenal Murwanashyaka

Arch. Math. Log., May, 2024

There are no minimal essentially undecidable theories.

Juvenal Murwanashyaka, Fedor Pakhomov, Albert Visser

J. Log. Comput., 2024

A Weak First-Order Theory of Sequences.

Lars Kristiansen, Juvenal Murwanashyaka

Proceedings of the Twenty Years of Theoretical and Practical Synergies, 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