SZK Proofs for Black-Box Group Problems V. ArvindBireswar Das OriginalPaper 12 July 2007 Pages: 100 - 117
Tuples of Disjoint \(\mathsf{NP}\) -Sets Olaf Beyersdorff OriginalPaper 29 June 2007 Pages: 118 - 135
The Complexity of Equality Constraint Languages Manuel BodirskyJan Kára OriginalPaper 19 October 2007 Pages: 136 - 158
Incremental Branching Programs Anna GálMichal KouckýPierre McKenzie OriginalPaper 28 September 2007 Pages: 159 - 184
Feasible Operations on Proofs: The Logic of Proofs for Bounded Arithmetic Evan Goris OriginalPaper 13 October 2007 Pages: 185 - 203
On Short Paths Interdiction Problems: Total and Node-Wise Limited Interdiction Leonid KhachiyanEndre BorosJihui Zhao OriginalPaper Open access 10 July 2007 Pages: 204 - 233
Enumerate and Expand: Improved Algorithms for Connected Vertex Cover and Tree Cover Daniel MölleStefan RichterPeter Rossmanith OriginalPaper 16 October 2007 Pages: 234 - 253
Branching Time Logics \(\mathcal {BTL}^{\mathrm {U,S}}_{\mathrm {N},\mathrm {N}^{-1}}(\mathcal {Z})_{\alpha }\) with Operations Until and Since Based on Bundles of Integer Numbers, Logical Consecutions, Deciding Algorithms V. Rybakov OriginalPaper 06 October 2007 Pages: 254 - 271
Interacting Explicit Evidence Systems Tatiana Yavorskaya (Sidon) OriginalPaper 25 October 2007 Pages: 272 - 293