Journals in DBLP

J. Symb. Comput.
2003, volume: 35, number: 1

1. 
   Publisher's Note. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 2003, v:35, n:1, pp:1-2 [Journal]
   
2. Paolo Aluffi
   Computing characteristic classes of projective schemes. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 2003, v:35, n:1, pp:3-19 [Journal]
   
3. Hans de Nivelle, Maarten de Rijke
   Deciding the guarded fragments by resolution. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 2003, v:35, n:1, pp:21-58 [Journal]
   
4. Ronald Brown, Christopher D. Wensley
   Computation and homotopical applications of induced crossed modules. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 2003, v:35, n:1, pp:59-72 [Journal]