Abstract is missing.
- Proof Complexity of Propositional Default LogicOlaf Beyersdorff, Arne Meier, Sebastian Müller 0003, Michael Thomas, Heribert Vollmer. [doi]
- 10061 Executive Summary - Circuits, Logic, and GamesBenjamin Rossman, Thomas Schwentick, Denis Thérien, Heribert Vollmer. [doi]
- 10061 Abstracts Collection - Circuits, Logic, and GamesBenjamin Rossman, Thomas Schwentick, Denis Thérien, Heribert Vollmer. [doi]
- Hardness of Parameterized ResolutionOlaf Beyersdorff, Nicola Galesi, Massimo Lauria. [doi]
- Complexity Results for Modal Dependence LogicPeter Lohmann, Heribert Vollmer. [doi]
- The Complexity of Reasoning for Fragments of Autoepistemic LogicNadia Creignou, Arne Meier, Michael Thomas, Heribert Vollmer. [doi]