Observations on Measure and Lowness for Δ[sub][supP].
- Published in:
- Theory of Computing Systems, 1997, v. 30, n. 4, p. 429, doi. 10.1007/s002240000060
- By:
- Publication type:
- Article
Works matching IS 14324350 AND DT 1997 AND VI 30 AND IP 4
Results: 6
1
2
Complexity of Presburger Arithmetic with Fixed Quantifier Dimension.
- Published in:
- Theory of Computing Systems, 1997, v. 30, n. 4, p. 423
- By:
- Publication type:
- Article
3
Monadic Second-Order Definable Text Languages.
- Published in:
- Theory of Computing Systems, 1997, v. 30, n. 4, p. 335, doi. 10.1007/s002240000055
- By:
- Publication type:
- Article
4
Expressing Uniformity via Oracles.
- Published in:
- Theory of Computing Systems, 1997, v. 30, n. 4, p. 355, doi. 10.1007/s002240000056
- By:
- Publication type:
- Article
5
Polynomial Closure and Unambiguous Product.
- Published in:
- Theory of Computing Systems, 1997, v. 30, n. 4, p. 383, doi. 10.1007/BF02679467
- By:
- Publication type:
- Article
6
Diagonal Polynomials and Diagonal Orders on Multidimensional Lattices.
- Published in:
- Theory of Computing Systems, 1997, v. 30, n. 4, p. 367, doi. 10.1007/s002240000057
- By:
- Publication type:
- Article