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.
- Ralf Treinen:
A New Method for Undecidablity Proofs of First Order Theories.
- Xiao-Shan Gao, Shang-Ching Chou:
Implicitization of Rational Parametric Equations.
- G. Pauer:
On Lucky Ideals for Gröbner Basis Computations.
- Elizabeth W. Rutman:
Gröbner Bases and Primary Decomposition of Modules.
- B.-Z. Shen:
Solving a Congruence on a Graded Algebra by a Subresultant Sequence and its Application.
- C. Barbier, P. Bettess, J. A. Bettess:
Automatic Generation of Mapping Functions for Infinite Elements Using REDUCE.
Volume 14, Number 6, December 1992
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
- Eric Domenjoud:
AC Unification Through Order-Sorted AC1 Unification.
- Josef Schicho:
On the Choice of Pencils in the Parametrization of Curves.
- E. Paul:
A General Refutational Completeness Result for an Inference Procedure Based on Associative-Commutative Unification.
- D. Richardson:
Computing the Topology of a Bounded Non-Algebraic Curve in the Plane.
- Dave A. Berque, R. Cecchini, Mark K. Goldberg, R. Rivenburgh:
The Set Player System for Symbolic Computation on Power Sets.