Volume 8, Number 1/2, July/August 1989
Volume 8, Number 3, September 1989
: A Strong Restriction of the Inductive Completion Procedure.
A. D. Fitt
: Symbolic Computation of Hyperbolicity Regions for Systems of Two-Phase Flow Conservation Laws Using Maple.
Volume 8, Number 4, October 1989
: On Computing the Canonical Form for a Binary Form of Odd Degree.
: Using Unavoidable Set of Trees to Generalize Kruskal's Theorem.
M. L. Dudley
, R. W. James
: Computer-Aided Derivation of Spherical Harmonic Spectral Equations in Astrogeophysics.
Volume 8, Number 5, November 1989
Volume 8, Number 6, December 1989
, Akira Aiba
: CAL: A Theoretical Background of Constraint Logic Programming and its Applications.
: Meta-Circular Interpreter for a Strongly Typed Language.
: E-CCC: Between CCC and Topos, - its Expressive Power from the Viewpoint of Data Type Theory.