No. Title Author Year
1 Computational Aspects of Logics in Team Semantics (Tutorial) Kontinen, Juha 2017
2 Decidability of Predicate Logics with Team Semantics Kontinen, Juha et al. 2016
3 Descriptive Complexity of #AC^0 Functions Durand, Arnaud et al. 2016
4 Logics for Dependence and Independence (Dagstuhl Seminar 15261) Grädel, Erich et al. 2016
5 A Van Benthem Theorem for Modal Team Semantics Kontinen, Juha et al. 2015
6 Dependence Logic: Theory and Applications (Dagstuhl Seminar 13071) Abramsky, Samson et al. 2013
7 Hierarchies in independence logic Galliani, Pietro et al. 2013
8 Dependence logic with a majority quantifier Durand, Arnaud et al. 2011
Current Page :
Number of result pages: 1
Number of documents: 8


DROPS-Home | Fulltext Search | Imprint Published by LZI