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
Publikasjoner
- Kristiansen, Lars & Murwanashyaka, Juvenal (2020). First-Order Concatenation Theory with Bounded Quantifiers. Archive for Mathematical Logic. ISSN 0933-5846. . doi: 10.1007/s00153-020-00735-6 Fulltekst i vitenarkiv.
- Kristiansen, Lars & Murwanashyaka, Juvenal (2020). First-Order Concatenation Theory with Bounded Quantifiers (Preprint). arXiv.org. ISSN 2331-8422. . doi: 10.1007/s00153-020-00735-6
- Kristiansen, Lars & Murwanashyaka, Juvenal (2020). On Interpretability Between Some Weak Essentially Undecidable Theories. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 12098, s 63- 74 . doi: 10.1007/978-3-030-51466-2_6
- Kristiansen, Lars & Murwanashyaka, Juvenal (2020). On Interpretability between some weak essential undecidable theories.. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 12098, s 63- 74 . doi: https://doi.org/10.1007/978-3-030-51466-2_6 Fulltekst i vitenarkiv.
- Murwanashyaka, Juvenal (2020). Weak Essentially Undecidable Theories of Concatenation. 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.
Publisert 13. aug. 2019 14:11
- Sist endret 22. aug. 2019 20:21