TY - GEN
AU - Hannula, Miika
AU - Virtema, Jonni
TI - Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
ET - published Version
PB - Elsevier
KW - Metafinite structures
KW - Team semantics
KW - Blum-Shub-Smale machine
KW - Dependence logic
PY - 2022
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
BT - Annals of pure and applied logic 173 (2022), Nr. 10 ; Annals of pure and applied logic
CY - Amsterdam [u.a.]
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation