Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarHigher-Order and Symbolic Computation
Higher-Order and Symbolic Computation @ SpringerLink
Higher-Order and Symbolic Computation Home Page
- Volume 26, 2013
- Volume 25, 2012
- Volume 24, 2011
- Volume 23, 2010
- Volume 22, 2009
- Volume 21, 2008
- Volume 20, 2007
- Volume 19, 2006
- Volume 18, 2005
- Volume 17, 2004
- Volume 16, 2003
- Volume 15, 2002
- Volume 14, 2001
- Volume 13, 2000
- Volume 12, 1999
- Volume 11, 1998
Lisp and Symbolic Computation
- Volume 10, 1997
- Volume 9, 1996
- Volume 8, 1995
- Volume 7, 1994
- Volume 6, 1993
- Volume 5, 1992
- Volume 4, 1991/1992
- Volume 3, 1990
- Volume 2, 1989
- Volume 1, 1988/1989
maintained by 
at 
at 
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2017-08-21 22:30 CEST by the dblp team