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