Volume 14, Number 1, July 1992
: Constructing Type Systems over an Operational Semantics.
: ELISE, an Algorithm to Compute Asymptotic Representations for Solutions of Linear Differential Equations, Realized with the Computer Algebra System MAPLE.
Volume 14, Number 2/3, August/September 1992 Symbolic Computation in Combinatorics
Frank G. Garvan
, Gaston H. Gonnet
: A Proof for the Two Parameter Q-Cases of the Macdonald-Morris Constant Term Root System Conjecture for S(F4) and S(F4) via Zeilberger's Method.
: Schubert Polynomials and Skew Schur Functions.
: Hypergeometric Solutions of Linear Recurrences with Polynomial Coefficents.
: An Approach to the Zero Recognition Problem by Buchberger Algorithm.
Volume 14, Number 4, October 1992
: Some Properties of Finite Special String-Rewriting Systems.
Volume 14, Number 5, November 1992
: A New Method for Undecidablity Proofs of First Order Theories.
: On Lucky Ideals for Gröbner Basis Computations.
: Solving a Congruence on a Graded Algebra by a Subresultant Sequence and its Application.
Volume 14, Number 6, December 1992
: AC Unification Through Order-Sorted AC1 Unification.
: On the Choice of Pencils in the Parametrization of Curves.
: A General Refutational Completeness Result for an Inference Procedure Based on Associative-Commutative Unification.
: Computing the Topology of a Bounded Non-Algebraic Curve in the Plane.