The following pages link to Juha Kontinen (Q269505):
Displaying 4 items.
- Approximation and dependence via multiteam semantics (Q1783737) (← links)
- Approximation and Dependence via Multiteam Semantics (Q2807084) (← links)
- Hierarchies in Dependence Logic (Q2946680) (← links)
- Descriptive complexity of real computation and probabilistic independence logic (Q5145662) (← links)