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

Albrecht Fortenbacher: An Algebraic Approach to Unification Under Associativity and Commutativity. 217-229 BibTeX
Charles C. Sims: Verifying Nilpotence. 231-247 BibTeX
Franz Aurenhammer: Recognising Polytopical Cell Complexes and Constructing Projection Polyhedra. 249-255 BibTeX
François Fages: Associative-Commutative Unification. 257-275 BibTeX
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 BibTeX
W. A. Beyer, L. Heller: A Steiner Tree Associated with Three Quarks. 283-289 BibTeX
R. D. Mills: Using a Small Algebraic Manipulation System to Solve Differential and Integral Equations by Variational and Approximation Techniques. 291-301 BibTeX
A. L. Semjonov, L. S. Melnikov, Vladimir A. Evstigneev: Solving the Problems of Kinetics of Complex Reactions by Symbolic Algebraic Manipulation Methods. 303-307 BibTeX