Higher-Order and Symbolic Computation, Volume 22

Volume 22, Number 1, March 2009

Volume 22, Number 2, June 2009

Volume 22, Number 3, September 2009

Volume 22, Number 4, December 2009

a service of Schloss Dagstuhl - Leibniz Center for Informatics