Journals in DBLP

J. Symb. Comput.
1991, volume: 12, number: 3

1. Friedrich Otto
   When is an Extension of a Specification Consistent? Decidable and Undecidable Cases. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1991, v:12, n:3, pp:255-274 [Journal]
   
2. B. Schend
   A Methodology for Detecting Shared Variable Dependencies in Logic Programs. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1991, v:12, n:3, pp:275-298 [Journal]
   
3. George E. Collins, H. Hong
   Partial Cylindrical Algebraic Decomposition for Quantifier Elimination. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1991, v:12, n:3, pp:299-328 [Journal]
   
4. G. Björck, G. Fröberg
   A Faster Way to Count the Solution of Inhomogeneous Systems of Algebraic Equations, with Applications to Cyclic n-Roots. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1991, v:12, n:3, pp:329-336 [Journal]
   
5. C. Jacobsson, C. Löfwall
   Standard Bases for General Coefficient Rings and a New Constructive Proof of Hilbert's Basis Theorem. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1991, v:12, n:3, pp:337-372 [Journal]
   
6. V. Sailer, Guillermo Morales-Luna
   On the Polynomial Representation of Generalized Liouville Operators. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1991, v:12, n:3, pp:373-380 [Journal]
   
7. W. L. Roque, R. P. Dos Santos
   Computer Algebra in Spacetime Embedding. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1991, v:12, n:3, pp:381-389 [Journal]