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 Front Matter, Table of Contents, Foreword, Conference Organization, External Reviewers Vollmer, Heribert et al. 2017
4 LIPIcs, Volume 66, STACS'17, Complete Volume Vollmer, Heribert et al. 2017
5 SAT and Interactions (Dagstuhl Seminar 16381) Beyersdorff, Olaf et al. 2017
6 Circuits, Logic and Games (Dagstuhl Seminar 15401) Bojanczyk, Mikolaj et al. 2016
7 Descriptive Complexity of #AC^0 Functions Durand, Arnaud et al. 2016
8 Front Matter, Foreword, Conference Organization, External Reviewers, Table of Contents Ollinger, Nicolas et al. 2016
9 LIPIcs, Volume 47, STACS'16, Complete Volume Ollinger, Nicolas et al. 2016
10 Logics for Dependence and Independence (Dagstuhl Seminar 15261) Grädel, Erich et al. 2016
11 A Van Benthem Theorem for Modal Team Semantics Kontinen, Juha et al. 2015
12 Dependence Logic: Theory and Applications (Dagstuhl Seminar 13071) Abramsky, Samson et al. 2013
13 SAT Interactions (Dagstuhl Seminar 12471) Creignou, Nadia et al. 2013
14 Dependence logic with a majority quantifier Durand, Arnaud et al. 2011
15 10061 Abstracts Collection -- Circuits, Logic, and Games Rossman, Benjamin et al. 2010
16 10061 Executive Summary -- Circuits, Logic, and Games Rossman, Benjamin et al. 2010
17 Complexity Results for Modal Dependence Logic Lohmann, Peter et al. 2010
18 Proof Complexity of Propositional Default Logic Beyersdorff, Olaf et al. 2010
19 The Complexity of Reasoning for Fragments of Autoepistemic Logic Creignou, Nadia et al. 2010
20 06451 Abstracts Collection -- Circuits, Logic, and Games Schwentick, Thomas et al. 2007
21 06451 Executive Summary -- Circuits, Logic, and Games Schwentick, Thomas et al. 2007
22 06401 Abstracts Collection -- Complexity of Constraints Creignou, Nadia et al. 2006
23 06401 Executive Summary -- Complexity of Constraints Creignou, Nadia et al. 2006
Current Page :
Number of result pages: 1
Number of documents: 23


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