Conferences in DBLP

Publications Resulting from Dagstuhl Seminars (dagstuhl)
2006 (conf/dagstuhl/2006P6451)

1. 
   A note on the size of Craig Interpolants. [Citation Graph (, )][DBLP]
   
   
2. 
   Structure Theorem and Strict Alternation Hierarchy for FO² on Words. [Citation Graph (, )][DBLP]
   
   
3. 
   06451 Executive Summary -- Circuits, Logic, and Games . [Citation Graph (, )][DBLP]
   
   
4. 
   Counting Results in Weak Formalisms. [Citation Graph (, )][DBLP]
   
   
5. 
   06451 Abstracts Collection -- Circuits, Logic, and Games . [Citation Graph (, )][DBLP]
   
   
6. 
   Some Algebraic Problems with Connections to Circuit Complexity of Dynamic Data Structures. [Citation Graph (, )][DBLP]