Complexity Classifications via Algebraic Logic
Julkaisuvuosi
2023
Tekijät
Jaakkola, Reijo; Kuusisto, Antti;
Organisaatiot ja tekijät
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Raportti
Ei
Emojulkaisun tyyppi
Konferenssi
Artikkelin tyyppi
Muu artikkeli: Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A4 Artikkeli konferenssijulkaisussaJulkaisukanavan tiedot
Lehti/Sarja
Emojulkaisun nimi
31st EACSL Annual Conference on Computer Science Logic, CSL 2023
Konferenssi
Volyymi
252
Artikkelinumero
27
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
Matematiikka
Tunnistettu aihe
[object Object]
Julkaisumaa
Saksa
Kustantajan kansainvälisyys
Kansainvälinen
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Ei
Yhteisjulkaisu yrityksen kanssa
Ei
DOI
10.4230/LIPIcs.CSL.2023.27
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä