A Parameterized View on the Complexity of Dependence Logic
Julkaisuvuosi
2022
Tekijät
Kontinen, Juha; Meier, Arne; Mahmood, Yasir
Organisaatiot ja tekijät
Helsingin yliopisto
Kontinen Juha
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
Logical Foundations of Computer Science:International Symposium, LFCS 2022, Proceedings
Konferenssi
Kustantaja
Volyymi
13137
Sivut
125-142
ISSN
ISBN
Julkaisufoorumi
Julkaisufoorumitaso
1
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei
Rinnakkaistallennettu
Kyllä
Muut tiedot
Tieteenalat
Tietojenkäsittely ja informaatiotieteet
Tunnistettu aihe
[object Object]
Julkaisumaa
Alankomaat
Kustantajan kansainvälisyys
Kansainvälinen
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Kyllä
Yhteisjulkaisu yrityksen kanssa
Ei
DOI
10.1007/978-3-030-93100-1_9
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä