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
Current Page :
Number of result pages: 1
Number of documents: 6


DROPS-Home | Fulltext Search | Imprint Published by LZI