Volume 18,
Number 1,
January 1992
Volume 18,
Number 2,
April 1992
- Eerke A. Boiten:
Improving Recursive Functions by Inverting the Order of Evaluation.
139-179 BibTeX
- Chris Reade:
Balanced Trees with Removals: An Exercise in Rewriting and Proof.
181-204 BibTeX
Volume 18,
Number 3,
June 1992
Copyright © Sun May 17 00:18:37 2009
by Michael Ley (ley@uni-trier.de)