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
Works matching IS 14324350 AND DT 2008 AND VI 43 AND IP 2
Results: 10
1
2
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
3
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
4
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
5
Foreword.
- Published in:
- 2008
- By:
- Publication type:
- Editorial
6
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
7
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
8
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
9
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
10
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