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


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI