The SCEAS System
Navigation Menu

Journals in DBLP

J. Symb. Comput.
1987, volume: 4, number: 2

  1. Joachim von zur Gathen
    Feasible Arithmetic Computations: Valiant's Hypothesis. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1987, v:4, n:2, pp:137-172 [Journal]
  2. Neil V. Murray, Erik Rosenthal
    Theory Links: Applications to Automated Theorem Proving. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1987, v:4, n:2, pp:173-190 [Journal]
  3. Wolfram Büttner, Helmut Simonis
    Embedding Boolean Expressions into Logic Programming. [Citation Graph (1, 0)][DBLP]
    J. Symb. Comput., 1987, v:4, n:2, pp:191-205 [Journal]
  4. Robert Paige, Fritz Henglein
    Mechanical Translation of Set Theoretic Problem Specifications into Efficient RAM Code-A Case Study. [Citation Graph (1, 0)][DBLP]
    J. Symb. Comput., 1987, v:4, n:2, pp:207-232 [Journal]
  5. Jean H. Gallier
    Fast Algorithms for Testing Unsatisfiability of Ground Horn Clauses with Equations. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1987, v:4, n:2, pp:233-254 [Journal]
  6. Gordon F. Royle
    The Transitive Groups of Degree Twelve. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1987, v:4, n:2, pp:255-268 [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