Higher-Order and Symbolic Computation, Volume 12

Volume 12, Number 1, April 1999

Volume 12, Number 2, September 1999

Volume 12, Number 3, October 1999

Volume 12, Number 4, December 1999

maintained by Schloss Dagstuhl LZI at University of Trier