TY  - JOUR

T1  - Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals

JO  - Annals of Pure and Applied Logic

PY  - 2022/03/04

AU  - Hannula M

AU  - Virtema J

ED  - 

DO  - DOI: 10.1016/j.apal.2022.103108

PB  - Elsevier BV

VL  - 173

IS  - 10

Y2  - 2025/12/15

ER  -