No. Title Author Year
1 Dependence Logic: Theory and Applications (Dagstuhl Seminar 13071) Abramsky, Samson et al. 2013
2 SAT Interactions (Dagstuhl Seminar 12471) Creignou, Nadia et al. 2013
3 Dependence logic with a majority quantifier Durand, Arnaud et al. 2011
4 10061 Abstracts Collection -- Circuits, Logic, and Games Rossman, Benjamin et al. 2010
5 10061 Executive Summary -- Circuits, Logic, and Games Rossman, Benjamin et al. 2010
6 Complexity Results for Modal Dependence Logic Lohmann, Peter et al. 2010
7 Proof Complexity of Propositional Default Logic Beyersdorff, Olaf et al. 2010
8 The Complexity of Reasoning for Fragments of Autoepistemic Logic Creignou, Nadia et al. 2010
9 06451 Abstracts Collection -- Circuits, Logic, and Games Schwentick, Thomas et al. 2007
10 06451 Executive Summary -- Circuits, Logic, and Games Schwentick, Thomas et al. 2007
Current Page :
Number of result pages: 2
Number of documents: 12


DROPS-Home | Fulltext Search | Imprint Published by LZI