Journals in DBLP

J. Symb. Comput.
2004, volume: 38, number: 5

1. Lê Tuân Hoa, Eero Hyry
   Castelnuovo-Mumford regularity of initial ideals. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 2004, v:38, n:5, pp:1327-1341 [Journal]
   
2. Thom Mulders
   Certified sparse linear system solving. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 2004, v:38, n:5, pp:1343-1373 [Journal]
   
3. Marco Bozzano, Giorgio Delzanno
   Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 2004, v:38, n:5, pp:1375-1415 [Journal]
   
4. Arnaud Bodin
   Computation of Milnor numbers and critical values at infinity. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 2004, v:38, n:5, pp:1417-1427 [Journal]
   
5. Xavier-François Roblot
   Polynomial factorization algorithms over number fields. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 2004, v:38, n:5, pp:1429-1443 [Journal]
   
6. John J. Cannon, Bettina Eick, Charles R. Leedham-Green
   Special polycyclic generating sequences for finite soluble groups. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 2004, v:38, n:5, pp:1445-1460 [Journal]