Volume 22, Number 1, July 1996
Alexander L. Chistov
: Polynomial-Time Computation of the Dimension of Algebraic Varieties in Zero-Characteristic.
F. Leon Pritchard
: The Ideal Membership Problem in Non-Commutative Polynomial Rings.
: AC Complement Problems: Satisfiability and Negation Elimination.
Volume 22, Number 2, August 1996
: On Different Structure-Preserving Translations to Normal Form.
, Friedrich Otto
: For Groups the Property of Having Finite Derivation Type is Equivalent to the Homological Finiteness Condition FP_3.
Volume 22, Number 3, September 1996
: Decidability of Unification in the Theory of One-Sided Distributivity and a Multiplicative Unit.
: Symbolic Computation on Complex Polynomial Solution of Differential Equations.
Volume 22, Number 4, October 1996
: Hilbert Functions and the Buchberger Algorithm.
Victor Y. Pan
: Computing x^m mod p(x) and an Application to Splitting a Polynomial Into Factors Over a Fixed Disc.
, Michael Pohst
: On the Resolution of Index form Equations in Sextic Fields with an Imaginary Quadratic Subfield.
: Rigorous Error Analysis of Numerical Algorithms via Symbolic Computations.
Volume 22, Number 5/6, November/December 1996 Executable Temporal Logics