Termination of narrowing via termination of rewriting Naoki NishidaGermán Vidal OriginalPaper 25 February 2010 Pages: 177 - 225
Computing the first stages of the Bousfield-Kan spectral sequence Ana Romero OriginalPaper 13 March 2010 Pages: 227 - 248
Highly parallel modular multiplication in the residue number system using sum of residues reduction Braden J. PhillipsYinan KongZhining Lim OriginalPaper 07 March 2010 Pages: 249 - 255