Descriptive complexity of real computation and probabilistic independence logic.

Miika Hannula, Juha Kontinen, Jan Van den Bussche, Jonni Virtema

Browse the full LICS paper archive.