The SCEAS System
Navigation Menu

Journals in DBLP

J. Symb. Comput.
1993, volume: 15, number: 1

  1. Laurence Puel, Ascánder Suárez
    Compiling Pattern Matching by Term Decomposition. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1993, v:15, n:1, pp:1-26 [Journal]
  2. Greg Sidebottom
    Implementing CLP(IB) Using the Connection Theorem Proving Method and a Clause Management System. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1993, v:15, n:1, pp:27-48 [Journal]
  3. William W. Adams, A. K. Boyle, Philippe Loustaunau
    Transitivity for Weak and Strong Gröbner Bases. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1993, v:15, n:1, pp:49-65 [Journal]
  4. Stanley Burris, John Lawrence
    The Equivalence Problem for Finite Rings. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1993, v:15, n:1, pp:67-71 [Journal]
  5. D. M. Klimov, V. V. Leonov, V. M. Rudenko
    The Study of Motion for a Gyroscope with Gimbal Suspension: Obtaining the Highest Approximations for a Drift of Magnus. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1993, v:15, n:1, pp:73-78 [Journal]
  6. J. P. Bennett, M. Grinfeld, J. Hubble
    Computer Algebra Techniques in Affinity Binding Equations: The Dimer Case. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1993, v:15, n:1, pp:79-83 [Journal]
  7. A. Yu. Zharkov
    Computer Classification of the Integrable Coupled Kdv-like Systems with Unit Main Matrix. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1993, v:15, n:1, pp:85-90 [Journal]
  8. Harry S. D. Mills
    Symbolically Precise Solutions to a Homogeneous Second Order Matrix Ordinary Differential Equation with Macsyma. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1993, v:15, n:1, pp:91-98 [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