Dagstuhl Seminar Proceedings:
Circuits, Logic, and Games 2006
Thomas Schwentick, Denis Thérien, Heribert Vollmer (Eds.):
Circuits, Logic, and Games, 08.11. - 10.11.2006.
Dagstuhl Seminar Proceedings 06451 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 
- Uwe Schöning, Jacobo Torán:
A note on the size of Craig Interpolants.
- William Hesse:
Some Algebraic Problems with Connections to Circuit Complexity of Dynamic Data Structures.
- Philipp Weis, Neil Immerman:
Structure Theorem and Strict Alternation Hierarchy for FO2 on Words.
- Arnaud Durand, Clemens Lautemann, Malika More:
Counting Results in Weak Formalisms.
- Thomas Schwentick, Denis Thérien, Heribert Vollmer:
06451 Executive Summary -- Circuits, Logic, and Games .
- Thomas Schwentick, Denis Thérien, Heribert Vollmer:
06451 Abstracts Collection -- Circuits, Logic, and Games .
Last update Sat May 25 17:43:28 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
