undefined

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

Tampereen yliopisto

Kuusisto Antti

Hella Lauri

Helsingin yliopisto

Virtema Jonni

Julkaisutyyppi

Julkaisumuoto

Artikkeli

Emojulkaisun tyyppi

Lehti

Artikkelin tyyppi

Alkuperäisartikkeli

Yleisö

Tieteellinen

Vertaisarvioitu

Vertaisarvioitu

OKM:n julkaisutyyppiluokitus

A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä

Julkaisukanavan tiedot

Volyymi

29

Numero

5

Sivut

605-630

Julkaisu­foorumi

60879

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ä