Journal of Symbolic Computation, Volume 3, 1987

Volume 3, Number 1/2, February/April 1987

Bruno Buchberger: History and Basic Features of the Critical-Pair/Completion Procedure. 3-38
Ronald V. Book: Thue Systems as Rewriting Systems. 39-68
Nachum Dershowitz: Termination of Rewriting. 69-116 , Corrigendum: JSC 4(3): 409-410 (1987)
Michaël Rusinowitch: Path of Subterms Ordering and Recursive Decomposition Ordering Revisited. 117-131
Jieh Hsiang: Rewrite Method for Theorem Proving in First Order Theory with Equality. 133-151
Katherine A. Yelick: Unification in Combinations of Collapse-Free Regular Theories. 153-181
Erik Tidén, Stefan Arnborg: Unification Problems with One-Sided Distributivity. 183-202
Dan Benanav, Deepak Kapur, Paliath Narendran: Complexity of Matching Problems. 203-216

Albrecht Fortenbacher: An Algebraic Approach to Unification Under Associativity and Commutativity. 217-229
Charles C. Sims: Verifying Nilpotence. 231-247
Franz Aurenhammer: Recognising Polytopical Cell Complexes and Constructing Projection Polyhedra. 249-255
François Fages: Associative-Commutative Unification. 257-275
John F. Ogilvie, R. H. Tipping: On the Analytic Solution by Computer Algebra of Some Problems in the Vibration-Rotational Spectroscopy of Diatomic Molecules. 277-281
W. A. Beyer, L. Heller: A Steiner Tree Associated with Three Quarks. 283-289
R. D. Mills: Using a Small Algebraic Manipulation System to Solve Differential and Integral Equations by Variational and Approximation Techniques. 291-301
A. L. Semjonov, L. S. Melnikov, Vladimir A. Evstigneev: Solving the Problems of Kinetics of Complex Reactions by Symbolic Algebraic Manipulation Methods. 303-307