Journal of Symbolic Computation

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

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

External Links