Journal of Symbolic Computation, Volume 8, 1989
Volume 8, Number 1/2, July/August 1989
Volume 8, Number 3, September 1989
Laurent Fribourg:
A Strong Restriction of the Inductive Completion Procedure. 253-276 A. D. Fitt:
Symbolic Computation of Hyperbolicity Regions for Systems of Two-Phase Flow Conservation Laws Using Maple. 305-308
Volume 8, Number 4, October 1989
Arne Dür:
On Computing the Canonical Form for a Binary Form of Odd Degree. 327-333 Laurence Puel:
Using Unavoidable Set of Trees to Generalize Kruskal's Theorem. 335-382 M. L. Dudley,
R. W. James:
Computer-Aided Derivation of Spherical Harmonic Spectral Equations in Astrogeophysics. 423-427
Volume 8, Number 5, November 1989
Volume 8, Number 6, December 1989
Kô Sakai,
Akira Aiba:
CAL: A Theoretical Background of Constraint Logic Programming and its Applications. 589-603 Masami Hagiya:
Meta-Circular Interpreter for a Strongly Typed Language. 651-680 Hiroyuki Sato:
E-CCC: Between CCC and Topos, - its Expressive Power from the Viewpoint of Data Type Theory. 681-695
maintained by

, founded at
