TY  - RPRT
TI  - Descriptive complexity of real computation and probabilistic independence logic
AU  - Miika Hannula
AU  - Juha Kontinen
AU  - Jan Van den Bussche
AU  - Jonni Virtema
PY  - 2020
DO  - 10.1145/3373718.3394773
UR  - https://arxiv.org/abs/2003.00644
ID  - 2003.00644
ER  -