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
Current Page :
Number of result pages: 3
Number of documents: 21


DROPS-Home | Fulltext Search | Imprint Published by LZI