| No. |
Title |
Author |
Year |
| 1 |
Front Matter, Table of Contents, Foreword, Conference Organization, External Reviewers |
Vollmer, Heribert et al. |
2017 |
| 2 |
LIPIcs, Volume 66, STACS'17, Complete Volume |
Vollmer, Heribert et al. |
2017 |
| 3 |
SAT and Interactions (Dagstuhl Seminar 16381) |
Beyersdorff, Olaf et al. |
2017 |
| 4 |
Circuits, Logic and Games (Dagstuhl Seminar 15401) |
Bojanczyk, Mikolaj et al. |
2016 |
| 5 |
Descriptive Complexity of #AC^0 Functions |
Durand, Arnaud et al. |
2016 |
| 6 |
Front Matter, Foreword, Conference Organization, External Reviewers, Table of Contents |
Ollinger, Nicolas et al. |
2016 |
| 7 |
LIPIcs, Volume 47, STACS'16, Complete Volume |
Ollinger, Nicolas et al. |
2016 |
| 8 |
Logics for Dependence and Independence (Dagstuhl Seminar 15261) |
Grädel, Erich et al. |
2016 |
| 9 |
A Van Benthem Theorem for Modal Team Semantics |
Kontinen, Juha et al. |
2015 |
| 10 |
Dependence Logic: Theory and Applications (Dagstuhl Seminar 13071) |
Abramsky, Samson et al. |
2013 |
