Cristin-person-ID: 1044250
Person

Juvenal Murwanashyaka

  • Stilling:
    Stipendiat
    ved Matematisk institutt ved Universitetet i Oslo

Resultater Resultater

Weak Essentially Undecidable Theories of Concatenation.

Murwanashyaka, Juvenal. 2022, Archive for Mathematical Logic. UIOVitenskapelig artikkel

On Interpretability between some weak essentially undecidable theories.

Kristiansen, Lars; Murwanashyaka, Juvenal. 2020, Lecture Notes in Computer Science (LNCS). UIOVitenskapelig artikkel

First-Order Concatenation Theory with Bounded Quantifiers (Preprint).

Kristiansen, Lars; Murwanashyaka, Juvenal. 2020, arXiv.org. UIOVitenskapelig artikkel

On First-Order Bit Theory.

Murwanashyaka, Juvenal. 2019, International Workshop on Proof, Computation, Complexity, PCC 2019. UIOVitenskapelig foredrag

First-Order Concatenation Theory with Bounded Quantifiers.

Kristiansen, Lars; Murwanashyaka, Juvenal. 2020, Archive for Mathematical Logic. UIOVitenskapelig artikkel
1 - 5 av 6 | Neste | Siste »