Exploring Real Computation & Probabilistic Independence Logic at LICS 2020 🔍
Discover the latest insights into the descriptive complexity of real computation and probabilistic independence logic presented by Miika Hannula, Juha Kontinen, Jan Van den Bussche, and Jonni Virtema at LICS 2020.
Saarland Informatics Campus
163 views • Jun 28, 2020
About this video
LICS 2020
Descriptive complexity of real computation and probabilistic independence logic
Miika Hannula, Juha Kontinen, Jan Van den Bussche and Jonni Virtema
Descriptive complexity of real computation and probabilistic independence logic
Miika Hannula, Juha Kontinen, Jan Van den Bussche and Jonni Virtema
Video Information
Views
163
Likes
2
Duration
29:15
Published
Jun 28, 2020