The following pages link to Jonni Virtema (Q476185):
Displaying 4 items.
- Approximation and dependence via multiteam semantics (Q1783737) (← links)
- Approximation and Dependence via Multiteam Semantics (Q2807084) (← links)
- Descriptive complexity of real computation and probabilistic independence logic (Q5145662) (← links)
- Weak models of distributed computing, with connections to modal logic (Q5891978) (← links)