Quantifiers Closed Under Partial Polymorphisms
Julkaisuvuosi
2024
Tekijät
Dawar, Anuj; Hella, Lauri;
Organisaatiot ja tekijät
Tampereen yliopisto
Hella Lauri
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Konferenssi
Artikkelin tyyppi
Muu artikkeli
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A4 Artikkeli konferenssijulkaisussaJulkaisukanavan tiedot
Emojulkaisun nimi
32nd EACSL Annual Conference on Computer Science Logic, CSL 2024
Volyymi
288
Artikkelinumero
23
ISSN
ISBN
Julkaisufoorumi
Julkaisufoorumitaso
1
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Kyllä
Julkaisukanavan avoin saatavuus
Kokonaan avoin julkaisukanava
Kustantajan version lisenssi
CC BY
Rinnakkaistallennettu
Kyllä
Rinnakkaistallenteen lisenssi
CC BY
Muut tiedot
Tieteenalat
Matematiikka
Kustantajan kansainvälisyys
Kansainvälinen
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Kyllä
Yhteisjulkaisu yrityksen kanssa
Ei
DOI
10.4230/LIPIcs.CSL.2024.23
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä