Higher-Order and Symbolic Computation, Volume 25

Volume 25, Number 1, March 2012

PEPM 2012

Volume 25, Numbers 2-4, December 2012

a service of Schloss Dagstuhl - Leibniz Center for Informatics