Juvenal Murwanashyaka

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 9

Top Topics

Theoretical Basis

Quantifier Free

Classical First Order Logic

Top Venues

Arch. Math. Log.

Publications

Lars Kristiansen, Juvenal Murwanashyaka
A Weak First-Order Theory of Sequences. CiE (2024)
Juvenal Murwanashyaka
Weak essentially undecidable theories of concatenation, part II. Arch. Math. Log. 63 (3-4) (2024)
Juvenal Murwanashyaka
A weak theory of building blocks. Math. Log. Q. 70 (2) (2024)
Juvenal Murwanashyaka
Weak Sequential Theories of Finite Full Binary Trees. CiE (2022)
Juvenal Murwanashyaka
Hilbert's Tenth Problem for Term Algebras with a Substitution Operator. CiE (2022)
Juvenal Murwanashyaka
Weak essentially undecidable theories of concatenation. Arch. Math. Log. 61 (7-8) (2022)
Lars Kristiansen, Juvenal Murwanashyaka
First-order concatenation theory with bounded quantifiers. Arch. Math. Log. 60 (1-2) (2021)
Lars Kristiansen, Juvenal Murwanashyaka
On Interpretability Between Some Weak Essentially Undecidable Theories. CiE (2020)
Lars Kristiansen, Juvenal Murwanashyaka
Decidable and Undecidable Fragments of First-Order Concatenation Theory. CiE (2018)