Higher-Order and Symbolic Computation, Volume 25

Volume 25, Number 1, March 2012

PEPM 2012

Volume 25, Numbers 2-4, December 2012

maintained by Schloss Dagstuhl LZI, founded at University of Trier