Juvenal Murwanashyaka
Doctoral Research Fellow

Several Complex Variables, Logic and Operator algebras
Norwegian version of this page
Email
juvenalm@math.uio.no
Room
808
Username
Visiting address
Moltke Moes vei 35
Niels Henrik Abels hus
0851 Oslo
Postal address
Postboks 1053 Blindern
0316 Oslo
Other affiliations
Faculty of Mathematics and Natural Sciences
(Student)
Academic interests
Mathematical logic
Publications

Murwanashyaka, Juvenal (2022). Hilbert’s Tenth Problem for Term Algebras with a Substitution Operator. Lecture Notes in Computer Science (LNCS). ISSN 03029743. 13359, p. 196–207. doi: 10.1007/9783031087400_17. Full text in Research Archive Show summary

Murwanashyaka, Juvenal (2022). Weak Sequential Theories of Finite Full Binary Trees. Lecture Notes in Computer Science (LNCS). ISSN 03029743. 13359, p. 208–219. doi: 10.1007/9783031087400_18. Full text in Research Archive Show summary

Murwanashyaka, Juvenal (2022). Weak Essentially Undecidable Theories of Concatenation. Archive for Mathematical Logic. ISSN 09335846. doi: 10.1007/s0015302200820y. Full text in Research Archive

Kristiansen, Lars & Murwanashyaka, Juvenal (2020). On Interpretability between some weak essentially undecidable theories. Lecture Notes in Computer Science (LNCS). ISSN 03029743. 12098, p. 63–74. doi: 10.1007/9783030514662_6. Full text in Research Archive

Kristiansen, Lars & Murwanashyaka, Juvenal (2020). FirstOrder Concatenation Theory with Bounded Quantifiers (Preprint). arXiv.org. ISSN 23318422. doi: 10.1007/s00153020007356.

Kristiansen, Lars & Murwanashyaka, Juvenal (2020). FirstOrder Concatenation Theory with Bounded Quantifiers. Archive for Mathematical Logic. ISSN 09335846. 60(12), p. 77–104. doi: 10.1007/s00153020007356. Full text in Research Archive

Kristiansen, Lars & Murwanashyaka, Juvenal (2018). Decidable and Undecidable Fragments of FirstOrder Concatenation Theory. In Manea, Florin; Miller, Russel G. & Nowotka, Dirk (Ed.), Sailing Routes in the World of Computation. Springer Nature. ISSN 9783319944173. p. 244–253. doi: 10.1007/9783319944180_25. Full text in Research Archive

Murwanashyaka, Juvenal (2019). On FirstOrder Bit Theory.
Published Aug. 13, 2019 2:12 PM
 Last modified Aug. 22, 2019 8:20 PM