|
Journals in DBLP
- Dexter Kozen, Kjartan Stefánsson
Computing the Newtonian Graph. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1997, v:24, n:2, pp:125-136 [Journal]
- Mats Jirstrand
Nonlinear Control System Design by Quantifier Elimination. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1997, v:24, n:2, pp:137-152 [Journal]
- Peter Dorato, Wei Yang, Chaouki Abdallah
Robust Multi-Objective Feedback Design by Quantifier Elimination. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1997, v:24, n:2, pp:153-159 [Journal]
- Hoon Hong, Richard Liska, Stanly Steinberg
Testing Stability by Quantifier Elimination. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1997, v:24, n:2, pp:161-187 [Journal]
- Volker Weispfenning
Simulation and Optimization by Quantifier Elimination. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1997, v:24, n:2, pp:189-208 [Journal]
- Andreas Dolzmann, Thomas Sturm
Simplification of Quantifier-Free Formulae over Ordered Fields. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1997, v:24, n:2, pp:209-231 [Journal]
|