Volume 15, Number 1, January 1993
: Implementing CLP(IB) Using the Connection Theorem Proving Method and a Clause Management System.
A. Yu. Zharkov
: Computer Classification of the Integrable Coupled Kdv-like Systems with Unit Main Matrix.
Harry S. D. Mills
: Symbolically Precise Solutions to a Homogeneous Second Order Matrix Ordinary Differential Equation with Macsyma.
Volume 15, Number 2, February 1993
: A Generalized Euclidean Algorithm for Computing Triangular Representations of Algebraic Varieties.
: On an Efficient Algorithm for Big Rational Number Computations by Parallel p-adics.
: Isomorphisms of Modular Group Algebras: An Algorithm and its Application to Groups of Order.
Volume 15, Number 3, March 1993
: Standard Bases in Power Series Rings: Uniqueness and Superfluous Critical Pairs.
: A Combinatorial Proof of the Effective Nullstellensatz.
: On the Representation of 1 by Binary Cubic Forms of Positive Discriminant.
Jesse Ira Deutsch
: Identities Arising From Hecke Transformations of Modular Forms Over Q(\surd2) and Q(\surd3).
Volume 15, Number 4, April 1993
: Factorization of Multivariate Polynomials with Coefficients in F_p.
: A Fast Algorithm for Generating Reduced Ground Rewriting Systems from a Set of Ground Equations.
Volume 15, Number 5/6, May/June 1993
: QPC_2: A Constructive Calculus with Parameterized Specifications.