Journal of Symbolic Computation, Volume 47

Volume 47, Number 1, January 2012

Volume 47, Number 2, February 2012

Regular Papers

Volume 47, Number 3, March 2012

Regular Papers

Volume 47, Number 4, April 2012

Volume 47, Number 5, May 2012

Volume 47, Number 6, June 2012

Volume 47, Number 7, July 2012

Volume 47, Number 8, August 2012

Volume 47, Number 9, September 2012

Volume 47, Number 10, October 2012

Foreword Tutorial Special Issue Papers

Volume 47, Number 11, November 2012

Volume 47, Number 12, December 2012

maintained by Schloss Dagstuhl LZI at University of Trier