Volume 14, Number 1, July 1992
Volume 14, Number 2/3, August/September 1992
Symbolic Computation in Combinatorics
Volume 14, Number 4, October 1992
Volume 14, Number 5, November 1992
- Pierre Lescanne:
Well Rewrite Orderings and Well Quasi-Orderings.
419-436

- Ralf Treinen:
A New Method for Undecidablity Proofs of First Order Theories.
437-458

- Xiao-Shan Gao, Shang-Ching Chou:
Implicitization of Rational Parametric Equations.
459-470

- G. Pauer:
On Lucky Ideals for Gröbner Basis Computations.
471-482

- Elizabeth W. Rutman:
Gröbner Bases and Primary Decomposition of Modules.
483-504

- B.-Z. Shen:
Solving a Congruence on a Graded Algebra by a Subresultant Sequence and its Application.
505-522

- C. Barbier, P. Bettess, J. A. Bettess:
Automatic Generation of Mapping Functions for Infinite Elements Using REDUCE.
523-534

Volume 14, Number 6, December 1992
- Eric Domenjoud:
AC Unification Through Order-Sorted AC1 Unification.
537-556

- Josef Schicho:
On the Choice of Pencils in the Parametrization of Curves.
557-576

- E. Paul:
A General Refutational Completeness Result for an Inference Procedure Based on Associative-Commutative Unification.
577-618

- D. Richardson:
Computing the Topology of a Bounded Non-Algebraic Curve in the Plane.
619-644

- Dave A. Berque, R. Cecchini, Mark K. Goldberg, R. Rivenburgh:
The Set Player System for Symbolic Computation on Power Sets.
645-662

Last update Tue May 21 14:57:22 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page