Expressivity and Complexity of Dependence Logic
Julkaisuvuosi
2016
Tekijät
Durand, Arnaud; Kontinen, Juha; Vollmer, Heribert
Organisaatiot ja tekijät
Helsingin yliopisto
Kontinen Juha
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Kokoomateos
Artikkelin tyyppi
Muu artikkeli
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A3 Kirjan tai muun kokoomateoksen osaJulkaisukanavan tiedot
Emojulkaisun nimi
Emojulkaisun toimittajat
Abramsky, Samson; Kontinen, Juha; Väänänen, Jouko; Vollmer, Heribert
Kustantaja
Sivut
5-32
ISBN
Julkaisufoorumi
Julkaisufoorumitaso
2
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei
Rinnakkaistallennettu
Ei
Muut tiedot
Tieteenalat
Matematiikka
Julkaisumaa
Sveitsi
Kustantajan kansainvälisyys
Kansainvälinen
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Kyllä
Yhteisjulkaisu yrityksen kanssa
Ei
DOI
10.1007/978-3-319-31803-5_2
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä