Journals in DBLP

J. Symb. Comput.
1992, volume: 14, number: 1

1. Volker Weispfenning
   Comprehensive Gröbner Bases. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1992, v:14, n:1, pp:1-30 [Journal]
   
2. David Bayer, Michael Stillman
   Computation of Hilbert Functions. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1992, v:14, n:1, pp:31-50 [Journal]
   
3. Mohamed Adi, Claude Kirchner
   AC-Unification Race: The System Solving Approach, Implementation and Benchmarks. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1992, v:14, n:1, pp:51-70 [Journal]
   
4. Robert Harper
   Constructing Type Systems over an Operational Semantics. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1992, v:14, n:1, pp:71-84 [Journal]
   
5. V. Dietrich
   ELISE, an Algorithm to Compute Asymptotic Representations for Solutions of Linear Differential Equations, Realized with the Computer Algebra System MAPLE. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1992, v:14, n:1, pp:85-92 [Journal]
   
6. J. Richardson
   The Blockhandler and the Bitfield Package. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1992, v:14, n:1, pp:93-102 [Journal]
   
7. John Carminati, John S. Devitt, Gregory J. Fee
   Isogroups of Differential Equations Using Algebraic Computing. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1992, v:14, n:1, pp:103-120 [Journal]