TY  - CONF

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

UR  - https://doi.org/10.1007/978-3-030-75775-5_18

PY  - 2021/05/12

AU  - Hannula M

AU  - Virtema J

ED  - 

DO  - DOI: 10.1007/978-3-030-75775-5_18

PB  - Springer International Publishing

SN  - 9783030757748

SP  - 262

EP  - 278

Y2  - 2026/01/07

ER  -