Journal: Computational Complexity

Volume 20, Issue 1

1 -- 20Pascal Koiran, Sylvain Perifel. Interpolation in Valiant s Theory
21 -- 50Mark Kambites. Generic Complexity of Finitely Presented Monoids and Semigroups
51 -- 85Stefan S. Dantchev, Barnaby Martin, Stefan Szeider. Parameterized Proof Complexity
87 -- 143Ronen Shaltiel. Weak Derandomization of Weak Algorithms: Explicit Versions of Yao s Lemma
145 -- 171Chi-Jen Lu, Shi-Chun Tsai, Hsin-Lung Wu. Complexity of Hard-Core Set Proofs