Cristin-resultat-ID: 1779514
Sist endret: 14. september 2020, 11:53
NVI-rapporteringsår: 2019
Resultat
Vitenskapelig artikkel
2019

Skolem’s Theorem in Coherent Logic

Bidragsytere:
  • Marcus Aloysius Bezem og
  • Thierry Coquand

Tidsskrift

Fundamenta Informaticae
ISSN 0169-2968
e-ISSN 1875-8681
NVI-nivå 1
Finn i kanalregisteret

Om resultatet

Vitenskapelig artikkel
Publiseringsår: 2019
Volum: 170
Hefte: 1-3
Sider: 1 - 14

Lenker

original online (doi)

Importkilder

Scopus-ID: 2-s2.0-85074329824

Beskrivelse Beskrivelse

Tittel

Skolem’s Theorem in Coherent Logic

Bidragsytere

Marc Bezem

Bidragsyterens navn vises på dette resultatet som Marcus Aloysius Bezem
  • Tilknyttet:
    Forfatter
    ved Institutt for informatikk ved Universitetet i Bergen

Thierry Coquand

  • Tilknyttet:
    Forfatter
    ved Chalmers tekniska högskola
1 - 2 av 2