The SCEAS System
Navigation Menu

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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002