Juvenal Murwanashyaka

Bilde av Juvenal Murwanashyaka
English version of this page
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