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 - 2025/07/26 ER -