Volume 5,
Number 1,
February 1995
Volume 5,
Number 2,
April 1995
Volume 5,
Number 3,
June 1995
Volume 5,
Number 4,
August 1995
- Thomas P. Jensen:
Conjunctive Type Systems and Abstract Interpretation of Higher-Order Functional Programs.
397-421
- Martin C. Henson:
An intensional semantics for elementary program transformations.
423-447
- Tanel Tammet:
Completeness of Resolution for Definite Answers.
449-471
- Karl Schlechta:
Defaults as Generalized Quantifiers.
473-494
- David Sands:
A Naïve Time Analysis and its Theory of Cost Equivalence.
495-541
Volume 5,
Number 5,
October 1995
Volume 5,
Number 6,
December 1995
Copyright © Sat Nov 28 22:32:17 2009
by Michael Ley (ley@uni-trier.de)