undefined

Tractability Frontiers in Probabilistic Team Semantics and Existential Second-Order Logic over the Reals

Julkaisuvuosi

2021

Tekijät

Hannula, Miika; Virtema, Jonni Taneli

Organisaatiot ja tekijät

Helsingin yliopisto

Virtema Jonni Taneli

Hannula Miika

Julkaisutyyppi

Julkaisumuoto

Artikkeli

Emojulkaisun tyyppi

Konferenssi

Artikkelin tyyppi

Muu artikkeli

Yleisö

Tieteellinen

Vertaisarvioitu

Vertaisarvioitu

OKM:n julkaisutyyppiluokitus

A4 Artikkeli konferenssijulkaisussa

Julkaisukanavan tiedot

Emojulkaisun toimittajat

Faber, Wolfgang ; Friedrich, Gerhard ; Gebser, Martin ; Morak, Michael

Volyymi

12678

Sivut

262-278

Julkaisu­foorumi

62555

Julkaisufoorumitaso

1

Avoin saatavuus

Avoin saatavuus kustantajan palvelussa

Ei

Rinnakkaistallennettu

Kyllä

Muut tiedot

Tieteenalat

Matematiikka; Tietojenkäsittely ja informaatiotieteet

Kustantajan kansainvälisyys

Kansainvälinen

Kieli

englanti

Kansainvälinen yhteisjulkaisu

Kyllä

Yhteisjulkaisu yrityksen kanssa

Ei

DOI

10.1007/978-3-030-75775-5_18

Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen

Kyllä