Login / Signup
Circuits, Logic, and Games
2006
2007
2009
2010
2006
2010
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)
volume 6451, 2007
Circuits, Logic, and Games, 08.11. - 10.11.2006
Circuits, Logic, and Games
6451 (2007)
2006
Thomas Schwentick
,
Denis Thérien
,
Heribert Vollmer
06451 Abstracts Collection -- Circuits, Logic, and Games .
Circuits, Logic, and Games
(2006)
Thomas Schwentick
,
Denis Thérien
,
Heribert Vollmer
06451 Executive Summary -- Circuits, Logic, and Games .
Circuits, Logic, and Games
(2006)
Uwe Schöning
,
Jacobo Torán
A note on the size of Craig Interpolants.
Circuits, Logic, and Games
(2006)
Arnaud Durand
,
Clemens Lautemann
,
Malika More
Counting Results in Weak Formalisms.
Circuits, Logic, and Games
(2006)
Philipp Weis
,
Neil Immerman
on Words.
Circuits, Logic, and Games
(2006)
William Hesse
Some Algebraic Problems with Connections to Circuit Complexity of Dynamic Data Structures.
Circuits, Logic, and Games
(2006)