Found: 10
Select item for more details and to access through your institution.
Tuples of Disjoint $\mathsf{NP}$ -Sets.
- Published in:
- Theory of Computing Systems, 2008, v. 43, n. 2, p. 118, doi. 10.1007/s00224-007-9023-8
- By:
- Publication type:
- Article
Foreword.
- Published in:
- 2008
- By:
- Publication type:
- Editorial
Interacting Explicit Evidence Systems.
- Published in:
- Theory of Computing Systems, 2008, v. 43, n. 2, p. 272, doi. 10.1007/s00224-007-9057-y
- By:
- Publication type:
- Article
On Short Paths Interdiction Problems: Total and Node-Wise Limited Interdiction.
- Published in:
- Theory of Computing Systems, 2008, v. 43, n. 2, p. 204, doi. 10.1007/s00224-007-9025-6
- By:
- Publication type:
- Article
SZK Proofs for Black-Box Group Problems.
- Published in:
- Theory of Computing Systems, 2008, v. 43, n. 2, p. 100, doi. 10.1007/s00224-007-9028-3
- By:
- Publication type:
- Article
Incremental Branching Programs.
- Published in:
- Theory of Computing Systems, 2008, v. 43, n. 2, p. 159, doi. 10.1007/s00224-007-9049-y
- By:
- Publication type:
- Article
The Complexity of Equality Constraint Languages.
- Published in:
- Theory of Computing Systems, 2008, v. 43, n. 2, p. 136, doi. 10.1007/s00224-007-9083-9
- By:
- Publication type:
- Article
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.
- Published in:
- Theory of Computing Systems, 2008, v. 43, n. 2, p. 254, doi. 10.1007/s00224-007-9059-9
- By:
- Publication type:
- Article
Feasible Operations on Proofs: The Logic of Proofs for Bounded Arithmetic.
- Published in:
- Theory of Computing Systems, 2008, v. 43, n. 2, p. 185, doi. 10.1007/s00224-007-9058-x
- By:
- Publication type:
- Article
Enumerate and Expand: Improved Algorithms for Connected Vertex Cover and Tree Cover.
- Published in:
- Theory of Computing Systems, 2008, v. 43, n. 2, p. 234, doi. 10.1007/s00224-007-9089-3
- By:
- Publication type:
- Article