@inproceedings{inproceedings, title = {{Descriptive complexity of real computation and probabilistic independence logic}},
publisher = {{ACM}},
url = {{}},
year = {{2020}},
month = {{7}},
author = {{Hannula M and Kontinen J and Van den Bussche J and Virtema J}},
doi = {{10.1145/3373718.3394773}},
journal = {{Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science}},
note = {{Accessed on 2025/01/05}}}