TY - GEN T1 - Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals PY - 2020/12/23 AU - Hannula M AU - Virtema J ED - Y2 - 2024/12/22 ER -