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
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Konferenssi
Artikkelin tyyppi
Muu artikkeli
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A4 Artikkeli konferenssijulkaisussaJulkaisukanavan tiedot
Emojulkaisun nimi
Emojulkaisun toimittajat
Faber, Wolfgang ; Friedrich, Gerhard ; Gebser, Martin ; Morak, Michael
Volyymi
12678
Sivut
262-278
ISBN
Julkaisufoorumi
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ä