2 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.LO2015★ 2 cited
Tractability Frontier of Data Complexity in Team Semantics
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…
cs.CC2013★ 1 cited
Determinant versus Permanent: salvation via generalization? The algebraic complexity of the Fermionant and the Immanant
Nicolas de Rugy-Altherre
The fermionant can be seen as a generalization of both the permanent (for ) and the determinant. We demonstrate that it is VNP-complete for most cases. Furthermore it is #P-c…