21 citations · 72 across the 28 of their papers we have counts for
1 paper · 1 filter
Miika Hannula, Lauri Hella
Logics with team semantics provide alternative means for logical characterization of complexity classes. Both dependence and independence logic are known to capture non-determinist…