Journals in DBLP

J. Symb. Comput.
1988, volume: 5, number: 1/2

1. Volker Weispfenning
   The Complexity of Linear Problems in Fields. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1988, v:5, n:1/2, pp:3-27 [Journal]
   
2. James H. Davenport, Joos Heintz
   Real Quantifier Elimination is Doubly Exponential. [Citation Graph (1, 0)][DBLP]
   J. Symb. Comput., 1988, v:5, n:1/2, pp:29-35 [Journal]
   
3. Dima Grigoriev, Nicolai Vorobjov
   Solving Systems of Polynomial Inequalities in Subexponential Time. [Citation Graph (1, 0)][DBLP]
   J. Symb. Comput., 1988, v:5, n:1/2, pp:37-64 [Journal]
   
4. Dima Grigoriev
   Complexity of Deciding Tarski Algebra. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1988, v:5, n:1/2, pp:65-108 [Journal]
   
5. Jean-Jacques Risler
   Some Aspects of Complexity in Real Algebraic Geometry. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1988, v:5, n:1/2, pp:109-119 [Journal]
   
6. Michel Coste, Marie-Françoise Roy
   Thom's Lemma, the Coding of Real Algebraic Numbers and the Computation of the Topology of Semi-Algebraic Sets. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1988, v:5, n:1/2, pp:121-129 [Journal]
   
7. Stefan Arnborg, Huichun Feng
   Algebraic Decomposition of Regular Curves. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1988, v:5, n:1/2, pp:131-140 [Journal]
   
8. Scott McCallum
   An Improved Projection Operation for Cylindrical Algebraic Decomposition of Three-Dimensional Space. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1988, v:5, n:1/2, pp:141-161 [Journal]
   
9. Dennis S. Arnon, George E. Collins, Scott McCallum
   An Adjacency Algorithm for Cylindrical Algebraic Decompositions of Three-Dimensional Space. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1988, v:5, n:1/2, pp:163-187 [Journal]
   
10. Dennis S. Arnon
    A Cluster-Based Cylindrical Algebraic Decomposition Algorithm. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1988, v:5, n:1/2, pp:189-212 [Journal]
    
11. Dennis S. Arnon, Scott McCallum
    A Polynomial-Time Algorithm for the Topological Type of a Real Algebraic Curve. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1988, v:5, n:1/2, pp:213-236 [Journal]
    
12. Dennis S. Arnon, Maurice Mignotte
    On Mechanical Quantifier Elimination for Elementary Algebra and Geometry. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1988, v:5, n:1/2, pp:237-259 [Journal]
    
13. Daniel Lazard
    Quantifier Elimination: Optimal Solution for Two Classical Examples. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1988, v:5, n:1/2, pp:261-266 [Journal]
    
14. Dennis S. Arnon
    A Bibliography of Quantifier Elimination for Real Closed Fields. [Citation Graph (1, 0)][DBLP]
    J. Symb. Comput., 1988, v:5, n:1/2, pp:267-274 [Journal]