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


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