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 |