Decidability of predicate logics with team semantics
Julkaisuvuosi
2016
Tekijät
Kontinen, Juha Aleksi; Virtema, Jonni Taneli; Kuusisto, Antti
Organisaatiot ja tekijät
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Lehti
Artikkelin tyyppi
Alkuperäisartikkeli
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessäJulkaisukanavan tiedot
Emojulkaisun nimi
Volyymi
58
Artikkelinumero
60
Sivut
60:1-60:14
ISSN
Julkaisufoorumi
Julkaisufoorumitaso
1
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Kyllä
Julkaisukanavan avoin saatavuus
Kokonaan avoin julkaisukanava
Rinnakkaistallennettu
Ei
Muut tiedot
Tieteenalat
Matematiikka
Julkaisumaa
Saksa
Kustantajan kansainvälisyys
Kansainvälinen
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Kyllä
Yhteisjulkaisu yrityksen kanssa
Ei
DOI
10.4230/LIPIcs.MFCS.2016.60
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä