Expressivity and Complexity of Dependence Logic

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]

Authors

Arnaud Durand 0001

This author has not been identified. Look up 'Arnaud Durand 0001' in Google

Juha Kontinen

This author has not been identified. Look up 'Juha Kontinen' in Google

Heribert Vollmer

This author has not been identified. Look up 'Heribert Vollmer' in Google