Juvenal Murwanashyaka

Bilde av Juvenal Murwanashyaka
English version of this page
E-post juvenalm@math.uio.no
Rom 808
Brukernavn
Besøksadresse Moltke Moes vei 35 Niels Henrik Abels hus 0851 OSLO
Postadresse Postboks 1053 Blindern 0316 OSLO
Andre tilknytninger Det matematisk-naturvitenskapelige fakultet (Student)

Faglige interesser

Logikk

Emneord: Matematikk, logikk

Publikasjoner

  • Kristiansen, Lars & Murwanashyaka, Juvenal (2020). First-Order Concatenation Theory with Bounded Quantifiers. Archive for Mathematical Logic.  ISSN 0933-5846.
  • Kristiansen, Lars & Murwanashyaka, Juvenal (2020). First-Order Concatenation Theory with Bounded Quantifiers (Preprint). arXiv.org.  ISSN 2331-8422.
  • Kristiansen, Lars & Murwanashyaka, Juvenal (2020). On Interpretability between some weak essential undecidable theories.. Lecture Notes in Computer Science (LNCS).  ISSN 0302-9743.
  • 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.
Publisert 13. aug. 2019 14:11 - Sist endret 22. aug. 2019 20:21

Forskergrupper