| No. |
Title |
Author |
Year |
| 1 |
10061 Abstracts Collection -- Circuits, Logic, and Games |
Rossman, Benjamin et al. |
2010 |
| 2 |
10061 Executive Summary -- Circuits, Logic, and Games |
Rossman, Benjamin et al. |
2010 |
| 3 |
Complexity Results for Modal Dependence Logic |
Lohmann, Peter et al. |
2010 |
| 4 |
Hardness of Parameterized Resolution |
Beyersdorff, Olaf et al. |
2010 |
| 5 |
Proof Complexity of Propositional Default Logic |
Beyersdorff, Olaf et al. |
2010 |
| 6 |
The Complexity of Reasoning for Fragments of Autoepistemic Logic |
Creignou, Nadia et al. |
2010 |
