Journals in DBLP

Theor. Comput. Sci.
1990, volume: 74, number: 3

1. Jingzhong Zhang, Lu Yang, Mike Deng
   The Parallel Numerical Method of Mechanical Theorem Proving. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1990, v:74, n:3, pp:253-271 [Journal]
   
2. María-Inés Fernández-Camacho, Jean-Marc Steyaert
   Algebraic Simplification in Computer Algebra: An Analysis of Bottom-up Algorithms. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1990, v:74, n:3, pp:273-298 [Journal]
   
3. Xin He
   An Efficient Algorithm for Edge Coloring Planar Graphs with Delta Colors. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1990, v:74, n:3, pp:299-312 [Journal]
   
4. László Babai, Pavel Pudlák, Vojtech Rödl, Endre Szemerédi
   Lower Bounds to the Complexity of Symmetric Boolean Functions. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1990, v:74, n:3, pp:313-323 [Journal]
   
5. Ulrich Hertrampf
   Relations Among Mod-Classes. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1990, v:74, n:3, pp:325-328 [Journal]
   
6. Jean-François Romeuf
   A Polynomial Algorithm for Solving Systems of Two Linear Diophantine Equations. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1990, v:74, n:3, pp:329-340 [Journal]
   
7. Marcella Anselmo
   Sur les Codes ZigZag et Leur Décidabilité. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1990, v:74, n:3, pp:341-354 [Journal]
   
8. Jerzy Szymanski
   On the Complexity of Algorithms on Recursive Trees. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1990, v:74, n:3, pp:355-361 [Journal]