Juvenal Murwanashyaka

Image of Juvenal Murwanashyaka
Norwegian version of this page
Room 808
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

Tags: Mathematics, Logic


  • Kristiansen, Lars & Murwanashyaka, Juvenal (2020). First-Order Concatenation Theory with Bounded Quantifiers. Archive for Mathematical Logic.  ISSN 0933-5846.
  • Kristiansen, Lars & Murwanashyaka, Juvenal (2018). Decidable and Undecidable Fragments of First-Order Concatenation Theory, In Florin Manea; Russel G. Miller & Dirk Nowotka (ed.),  Sailing Routes in the World of Computation.  Springer Nature.  ISBN 978-3-319-94417-3.  kapittel.  s 244 - 253
  • Murwanashyaka, Juvenal (2019). On First-Order Bit Theory.
Published Aug. 13, 2019 2:12 PM - Last modified Aug. 22, 2019 8:20 PM