Journals in DBLP

J. Symb. Comput.
1996, volume: 22, number: 1

1. Alexander L. Chistov
   Polynomial-Time Computation of the Dimension of Algebraic Varieties in Zero-Characteristic. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1996, v:22, n:1, pp:1-25 [Journal]
   
2. F. Leon Pritchard
   The Ideal Membership Problem in Non-Commutative Polynomial Rings. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1996, v:22, n:1, pp:27-48 [Journal]
   
3. Maribel Fernández
   AC Complement Problems: Satisfiability and Negation Elimination. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1996, v:22, n:1, pp:49-82 [Journal]
   
4. Laureano González-Vega
   Applying Quantifier Elimination to the Birkhoff Interpolation Problem. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1996, v:22, n:1, pp:83-103 [Journal]
   
5. Srinivas Tummarakota, Junghsen Lieh
   Symbolic Finite Element Modeling of Structural Systems. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1996, v:22, n:1, pp:105-119 [Journal]