|
Journals in DBLP
- Bettina Eick
Orbit-stabilizer Problems and Computing Normalizers for Polycyclic Groups. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 2002, v:34, n:1, pp:1-19 [Journal]
- Jürgen Giesl, Thomas Arts, Enno Ohlebusch
Modular Termination Proofs for Rewriting Using Dependency Pairs. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 2002, v:34, n:1, pp:21-58 [Journal]
- Gema M. Diaz-Toca, Laureano González-Vega
Barnett's Theorems About the Greatest Common Divisor of Several Univariate Polynomials Through Bezout-like Matrices. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 2002, v:34, n:1, pp:59-81 [Journal]
- Huah Chu, Ming-chang Kang
Quartic Fields and Radical Extensions. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 2002, v:34, n:1, pp:83-89 [Journal]
|