| No. |
Title |
Author |
Year |
| 1 |
06451 Abstracts Collection -- Circuits, Logic, and Games |
Schwentick, Thomas et al. |
2007 |
| 2 |
06451 Executive Summary -- Circuits, Logic, and Games |
Schwentick, Thomas et al. |
2007 |
| 3 |
A note on the size of Craig Interpolants |
Schöning, Uwe et al. |
2007 |
| 4 |
Counting Results in Weak Formalisms |
Durand, Arnaud et al. |
2007 |
| 5 |
Some Algebraic Problems with Connections to Circuit Complexity of Dynamic Data Structures |
Hesse, William |
2007 |
| 6 |
Structure Theorem and Strict Alternation Hierarchy for FO² on Words |
Weis, Philipp et al. |
2007 |
