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 (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
Publisert 13. aug. 2019 14:11 - Sist endret 22. aug. 2019 20:21

Forskergrupper