2 citations · 3 across the 2 of their papers we have counts for
1 paper · 1 filter
Arnaud Durand, Juha Kontinen, Nicolas de Rugy-Altherre +1
We study the data complexity of model-checking for logics with team semantics. We focus on dependence, inclusion, and independence logic formulas under both strict and lax team sem…