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
Emojulkaisun tyyppi
Konferenssialusta
Yleisö
Tieteellinen
Vertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A4 Artikkeli konferenssijulkaisussaJulkaisukanavan tiedot
Emojulkaisun nimi
Logical Foundations of Computer Science:International Symposium, LFCS 2022, Proceedings
Emojulkaisun toimittajat
Artemov, Sergei; Nerode, Anil
Konferenssi
Kustantaja
Volyymi
13137
Sivut
125-142
ISSN
ISBN
Julkaisufoorumi
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei
Rinnakkaistallennettu
Kyllä
Muut tiedot
Tieteenalat
Tietojenkäsittely ja informaatiotieteet
Julkaisumaa
Alankomaat
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ä