Journals in DBLP

Theor. Comput. Sci.
2000, volume: 235, number: 1

1. Eric Bach, Marcos A. Kiwi
   Threshold data structures and coding theory. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2000, v:235, n:1, pp:3-23 [Journal]
   
2. Avrim Blum, Goran Konjevod, R. Ravi, Santosh Vempala
   Semi-definite relaxations for minimum bandwidth and other vertex-ordering problems. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2000, v:235, n:1, pp:25-42 [Journal]
   
3. Joan Boyar, René Peralta, Denis Pochuev
   On the multiplicative complexity of Boolean functions over the basis (cap, +, 1). [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2000, v:235, n:1, pp:43-57 [Journal]
   
4. Harry Buhrman, Tao Jiang, Ming Li, Paul M. B. Vitányi
   New applications of the incompressibility method: Part II. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2000, v:235, n:1, pp:59-70 [Journal]
   
5. Peter Bürgisser
   Cook's versus Valiant's hypothesis. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2000, v:235, n:1, pp:71-88 [Journal]
   
6. Bruno Codenotti, Pavel Pudlák, Giovanni Resta
   Some structural properties of low-rank matrices related to computational complexity. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2000, v:235, n:1, pp:89-107 [Journal]
   
7. Jeff Edmonds
   Scheduling in the dark. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2000, v:235, n:1, pp:109-141 [Journal]
   
8. Leonid A. Levin
   Self-stabilization of circular arrays of automata. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2000, v:235, n:1, pp:143-144 [Journal]
   
9. J. Maurice Rojas
   Uncomputably large integral points on algebraic plane curves? [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2000, v:235, n:1, pp:145-162 [Journal]
   
10. Joseph H. Silverman
    On the distribution of integer points on curves of genus zero. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:235, n:1, pp:163-170 [Journal]
    
11. Fangmin Song, YongSen Xu, Yuechen Qian
    The self-reduction in lambda calculus. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:235, n:1, pp:171-181 [Journal]
    
12. A. N. Trahtman
    Algorithms finding the order of local testability of deterministic finite automaton and estimations of the order. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:235, n:1, pp:183-204 [Journal]
    
13. Vijay V. Vazirani
    Recent results on approximating the Steiner tree problem and its generalizations. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:235, n:1, pp:205-216 [Journal]