Model checking and validity in propositional and modal inclusion logics
Julkaisuvuosi
2019
Tekijät
Hella, Lauri; Kuusisto, Antti; Meier, Arne; Virtema, Jonni
Organisaatiot ja tekijät
Helsingin yliopisto
Virtema Jonni
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
29
Numero
5
Sivut
605-630
ISSN
Julkaisufoorumi
Julkaisufoorumitaso
2
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei
Rinnakkaistallennettu
Kyllä
Muut tiedot
Tieteenalat
Matematiikka; Tietojenkäsittely ja informaatiotieteet
Avainsanat
[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Kustantajan kansainvälisyys
Kansainvälinen
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Kyllä
Yhteisjulkaisu yrityksen kanssa
Ei
DOI
10.1093/logcom/exz008
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä