TY  - CONF

T1  - Descriptive complexity of real computation and probabilistic independence logic

JO  - Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science

PY  - 2020/07/08

AU  - Hannula M

AU  - Kontinen J

AU  - Van den Bussche J

AU  - Virtema J

ED  - 

DO  - DOI: 10.1145/3373718.3394773

PB  - ACM

Y2  - 2024/12/23

ER  -