Journal of symbolic computation

• 

  Año 2003, Vol. 35, Número 1

  • Publisher's Note

    págs. 1-2

    

  • Computing characteristic classes of projective schemes

    Paolo Aluffi

    págs. 3-19

    

  • Deciding the guarded fragments by resolution

    Hans de Nivelle, Maarten de Rijke

    págs. 21-58

    

  • Computation and homotopical applications of induced crossed modules

    Ronald Brown, Christopher D. Wensley

    págs. 59-72