Expressivity and Complexity of Dependence Logic - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Arnaud Durand 0001, Juha Kontinen, Heribert Vollmer. Expressivity and Complexity of Dependence Logic. In Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer, editors, Dependence Logic, Theory and Applications. pages 5-32, Springer, 2016. [doi]

The following publications are possibly variants of this publication:

Complexity of Two-Variable Dependence Logic and IF-LogicJuha Kontinen, Antti Kuusisto, Peter Lohmann, Jonni Virtema. lics 2011: 289-298 [doi]

Complexity Results for Modal Dependence LogicPeter Lohmann, Heribert Vollmer. csl 2010: 411-425 [doi]

runs on WebDSL