Constructive Cut Elimination in Geometric Logic
Julkaisuvuosi
2022
Tekijät
Fellin, Giulio; Negri, Sara; Orlandelli, Eugenio
Organisaatiot ja tekijät
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Konferenssi
Artikkelin tyyppi
Muu artikkeli
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A4 Artikkeli konferenssijulkaisussaJulkaisukanavan tiedot
Emojulkaisun toimittajat
Basold, Henning; Cockx, Jesper; Ghilezan, Silvia
Volyymi
239
Artikkelinumero
7
Sivut
1-16
ISSN
ISBN
Julkaisufoorumi
Julkaisufoorumitaso
1
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Kyllä
Julkaisukanavan avoin saatavuus
Kokonaan avoin julkaisukanava
Rinnakkaistallennettu
Kyllä
Rinnakkaistallenteen lisenssi
CC BY
Muut tiedot
Tieteenalat
Tietojenkäsittely ja informaatiotieteet
Avainsanat
[object Object],[object Object],[object Object],[object Object],[object Object]
Julkaisumaa
Saksa
Kustantajan kansainvälisyys
Kansainvälinen
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Kyllä
Yhteisjulkaisu yrityksen kanssa
Ei
DOI
10.4230/LIPIcs.TYPES.2021.7
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä