Abstract is missing.
- 06451 Abstracts Collection -- Circuits, Logic, and Games Thomas Schwentick, Denis Thérien, Heribert Vollmer. [doi]
- Structure Theorem and Strict Alternation Hierarchy for FO:::2::: on WordsPhilipp Weis, Neil Immerman. [doi]
- Counting Results in Weak FormalismsArnaud Durand, Clemens Lautemann, Malika More. [doi]
- Some Algebraic Problems with Connections to Circuit Complexity of Dynamic Data StructuresWilliam Hesse. [doi]
- A note on the size of Craig InterpolantsUwe Schöning, Jacobo Torán. [doi]
- 06451 Executive Summary -- Circuits, Logic, and Games Thomas Schwentick, Denis Thérien, Heribert Vollmer. [doi]