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

Publiceringsår

2021

Upphovspersoner

Hannula, Miika; Virtema, Jonni Taneli

Organisationer och upphovspersoner

Helsingfors universitet

Virtema Jonni Taneli

Hannula Miika

Publikationstyp

Publikationsform

Artikel

Moderpublikationens typ

Konferens

Artikelstyp

Annan artikel

Målgrupp

Vetenskaplig

Kollegialt utvärderad

UKM:s publikationstyp

A4 Artikel i en konferenspublikation

Publikationskanalens uppgifter

Volym

12678

Sidor

262-278

ISBN

978-3-030-75774-8

Publikationsforum

62555

Publikationsforumsnivå

Öppen tillgång

Öppen tillgänglighet i förläggarens tjänst

Nej

Parallellsparad

Övriga uppgifter

Vetenskapsområden

Matematik; Data- och informationsvetenskap

Förlagets internationalitet

Internationell

Språk

engelska

Internationell sampublikation

Sampublikation med ett företag

Nej

DOI

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