Cristin-resultat-ID: 1802755
Sist endret: 22. februar 2021, 10:30
NVI-rapporteringsår: 2020
Resultat
Vitenskapelig artikkel
2020

On Interpretability between some weak essentially undecidable theories

Bidragsytere:
  • Lars Kristiansen og
  • Juvenal Murwanashyaka

Tidsskrift

Lecture Notes in Computer Science (LNCS)
ISSN 0302-9743
e-ISSN 1611-3349
NVI-nivå 1
Finn i kanalregisteret

Om resultatet

Vitenskapelig artikkel
Publiseringsår: 2020
Publisert online: 2020
Trykket: 2020
Volum: 12098
Sider: 63 - 74
Open Access

Lenker

original online (doi)

Institusjonsarkiv

hdl.handle.net/10852/78279

Importkilder

Scopus-ID: 2-s2.0-85088210926

Beskrivelse Beskrivelse

Tittel

On Interpretability between some weak essentially undecidable theories

Bidragsytere

Lars Kristiansen

  • Tilknyttet:
    Forfatter
    ved PROG Programmering ved Universitetet i Oslo
  • Tilknyttet:
    Forfatter
    ved Matematisk institutt ved Universitetet i Oslo

Juvenal Murwanashyaka

  • Tilknyttet:
    Forfatter
    ved Matematisk institutt ved Universitetet i Oslo
1 - 2 av 2