Higher-Order and Symbolic Computation is now archived and no
longer receiving submissions with this publisher. All articles published in the journal during its time
with Springer will remain fully searchable through our websites.
Looking for other Springer journals? Please have a look at our
journal list.
Volumes and issues
-
Volume 26 December 2013
-
Volume 25 March - December 2012
- December 2012, issue 2-4
-
March 2012, issue 1
PEPM 2012
-
Volume 24 June - November 2011
- November 2011, issue 4
- September 2011, issue 3
-
June 2011, issue 1-2
Partial Evaluation and Program Manipulation
-
Volume 23 March - November 2010
- November 2010, issue 4
-
September 2010, issue 3
Special Issue: PEPM 2010
- June 2010, issue 2
- March 2010, issue 1
-
Volume 22 March - December 2009
-
Volume 21 June - December 2008
-
Volume 20 June - December 2007
- December 2007, issue 4
- September 2007, issue 3
-
June 2007, issue 1-2
Special Issue on Rewriting Logic and its Applications
-
Volume 19 March - December 2006
-
Volume 18 June - December 2005
-
Volume 17 March - December 2004
- December 2004, issue 4
- September 2004, issue 3
-
March 2004, issue 1-2
Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation
-
Volume 16 March - December 2003
-
December 2003, issue 4
Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation
- September 2003, issue 3
-
March 2003, issue 1-2
Special Issue Dedicated to Bob Paige
-
December 2003, issue 4
-
Volume 15 March - December 2002
-
Volume 14 March - December 2001
-
Volume 13 April - December 2000
-
Volume 12 April - December 1999
-
Volume 11 August - December 1998
-
Volume 10 June 1997 - August 1998
-
Volume 9 February - December 1996
-
Volume 8 March - December 1995
-
Volume 7 January - December 1994
-
Volume 6 August - November 1993
-
Volume 5 May 1992 - December 1993
-
Volume 4 January 1991 - March 1992
-
Volume 3 January - November 1990
-
Volume 2 February - October 1989
-
Volume 1 June 1988 - September 1989