undefined

< Takaisin hakutuloksiin

Theorem proving for non-normal modal logics

Julkaisuvuosi

2020

Tekijät

Dalmonte, Tiziano; Negri, S.; Olivetti, Nicola; Pozzato, Gian Luca

Organisaatiot ja tekijät

Helsingin yliopisto

Negri S.

Julkaisutyyppi

Julkaisumuoto

Artikkeli

Emojulkaisun tyyppi

Konferenssi

Artikkelin tyyppi

Muu artikkeli

Yleisö

Tieteellinen

Vertaisarvioitu

Vertaisarvioitu

OKM:n julkaisutyyppiluokitus

A4 Artikkeli konferenssijulkaisussa

Julkaisukanavan tiedot

Lehti

CEUR Workshop Proceedings

Emojulkaisun nimi

CEUR Workshop Proceedings

Konferenssi

Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis

Volyymi

2785

Sivut

17-22

ISSN

1613-0073

Julkaisu­foorumi

53269

Julkaisufoorumitaso

1

Avoin saatavuus

Avoin saatavuus kustantajan palvelussa

Kyllä

Julkaisukanavan avoin saatavuus

Kokonaan avoin julkaisukanava

Rinnakkaistallennettu

Kyllä

Rinnakkaistallenteen lisenssi

CC BY

Muut tiedot

Tieteenalat

Filosofia

Avainsanat

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Julkaisumaa

Saksa

Kustantajan kansainvälisyys

Kansainvälinen

Kieli

englanti

Kansainvälinen yhteisjulkaisu

Kyllä

Yhteisjulkaisu yrityksen kanssa

Ei

Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen

Kyllä