Circuits, Logic, and Games

Keyphrases

Publications

2010

Benjamin Rossman, Thomas Schwentick, Denis Thérien, Heribert Vollmer
10061 Executive Summary - Circuits, Logic, and Games. Circuits, Logic, and Games (2010)
Olaf Beyersdorff, Nicola Galesi, Massimo Lauria
Hardness of Parameterized Resolution. Circuits, Logic, and Games (2010)
Peter Lohmann, Heribert Vollmer
Complexity Results for Modal Dependence Logic. Circuits, Logic, and Games (2010)
Olaf Beyersdorff, Arne Meier, Sebastian Müller, Michael Thomas, Heribert Vollmer
Proof Complexity of Propositional Default Logic. Circuits, Logic, and Games (2010)
Benjamin Rossman, Thomas Schwentick, Denis Thérien, Heribert Vollmer
10061 Abstracts Collection - Circuits, Logic, and Games. Circuits, Logic, and Games (2010)
Nadia Creignou, Arne Meier, Michael Thomas, Heribert Vollmer
The Complexity of Reasoning for Fragments of Autoepistemic Logic. Circuits, Logic, and Games (2010)

volume 10061, 2010

Circuits, Logic, and Games, 07.02. - 12.02.2010 Circuits, Logic, and Games 10061 (2010)