Journals in DBLP

Comput. J.
1993, volume: 36, number: 5

1. Hoon Hong
   Special Issue Editorial: Computational Quantifier Elimination. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1993, v:36, n:5, pp:399- [Journal]
   
2. Felipe Cucker
   On the Complexity of Quantifier Elimination: the Structural Approach. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1993, v:36, n:5, pp:400-408 [Journal]
   
3. John F. Canny
   Improved Algorithms for Sign Determination and Existential Quantifier Elimination. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1993, v:36, n:5, pp:409-418 [Journal]
   
4. Devdatt P. Dubhashi
   Quantifier Elimination in p-adic Fields. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1993, v:36, n:5, pp:419-426 [Journal]
   
5. Joos Heintz, Marie-Françoise Roy, Pablo Solernó
   On the Theoretical and Practical Complexity of the Existential Theory of Reals. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1993, v:36, n:5, pp:427-431 [Journal]
   
6. Scott McCallum
   Solving Polynomial Strict Inequalities Using Cylindrical Algebraic Decomposition. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1993, v:36, n:5, pp:432-438 [Journal]
   
7. Hoon Hong
   Quantifier Elimination for Formulas Constrained by Quadratic Equations via Slope Resultants. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1993, v:36, n:5, pp:439-449 [Journal]
   
8. Rüdiger Loos, Volker Weispfenning
   Applying Linear Quantifier Elimination. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1993, v:36, n:5, pp:450-462 [Journal]
   
9. Vijay Chandru
   Variable Elimination in Linear Constraints. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1993, v:36, n:5, pp:463-472 [Journal]
   
10. Jean-Louis Imbert
    Variable Elimination for Disequations in Generalized Linear Constraint Systems. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1993, v:36, n:5, pp:473-484 [Journal]
    
11. Dinesh Manocha
    Efficient Algorithms for MultiPolynomial Resultant. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1993, v:36, n:5, pp:485-496 [Journal]
    
12. Richard Liska, Stanly Steinberg
    Applying Quantifier Elimination to Stability Analysis of Difference Schemes. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1993, v:36, n:5, pp:497-503 [Journal]
    
13. John F. Canny
    Computing Roadmaps of General Semi-Algebraic Sets. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1993, v:36, n:5, pp:504-514 [Journal]
    
14. M. J. González-López, Tomás Recio
    Path Tracking in Motion Planning. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1993, v:36, n:5, pp:515-524 [Journal]