A Parameterized View on the Complexity of Dependence Logic

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 Orcid -palvelun logo

Julkaisutyyppi

Julkaisumuoto

Artikkeli

Emojulkaisun tyyppi

Konferenssialusta

Yleisö

Tieteellinen

Vertaisarvioitu

Vertaisarvioitu

OKM:n julkaisutyyppiluokitus

A4 Artikkeli konferenssijulkaisussa

Julkaisukanavan tiedot

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ä