You have Guest access.
Log In
Volume 1 / 1990 - Volume 22 / 2011
177-225
Termination of narrowing via termination of rewriting
Naoki Nishida and Germán Vidal
227-248
Computing the first stages of the Bousfield-Kan spectral sequence
Ana Romero
249-255
Highly parallel modular multiplication in the residue number system using sum of residues reduction
Braden J. Phillips, Yinan Kong and Zhining Lim
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info