Volume 14, Number 1, July 1992

• 
  Volker Weispfenning: Comprehensive Gröbner Bases. 1-30
• 
  David Bayer, Michael Stillman: Computation of Hilbert Functions. 31-50
• 
  Mohamed Adi, Claude Kirchner: AC-Unification Race: The System Solving Approach, Implementation and Benchmarks. 51-70
• 
  Robert Harper: Constructing Type Systems over an Operational Semantics. 71-84
• 
  V. Dietrich: ELISE, an Algorithm to Compute Asymptotic Representations for Solutions of Linear Differential Equations, Realized with the Computer Algebra System MAPLE. 85-92
• 
  J. Richardson: The Blockhandler and the Bitfield Package. 93-102
• 
  John Carminati, John S. Devitt, Gregory J. Fee: Isogroups of Differential Equations Using Algebraic Computing. 103-120

Volume 14, Number 2/3, August/September 1992

• 
  Peter Paule, Doron Zeilberger: Special Issue: Symbolic Computation in Combinatorics - Foreword of the Guest Editors. 123-126
• 
  François Bergeron, Nantel Bergeron: Symbolic Manipulation for the Study of the Descent Algebra of Finite Coxeter Groups. 127-140
• 
  Frank G. Garvan, Gaston H. Gonnet: A Proof for the Two Parameter Q-Cases of the Macdonald-Morris Constant Term Root System Conjecture for S(F4) and S(F4) via Zeilberger's Method. 141-178
• 
  Ira M. Gessel: Super Ballot Numbers. 179-194
• 
  Adalbert Kerber, Axel Kohnert, Alain Lascoux: SYMMETRICA, an Object Oriented Computer-Algebra System for the Symmetric Group. 195-204
• 
  Axel Kohnert: Schubert Polynomials and Skew Schur Functions. 205-210
• 
  Gilbert Labelle: Counting Asymmetric Enriched Trees. 211-242
• 
  Marko Petkovsek: Hypergeometric Solutions of Linear Recurrences with Polynomial Coefficents. 243-264
• 
  Nobuki Takayama: An Approach to the Zero Recognition Problem by Buchberger Algorithm. 265-282

Volume 14, Number 4, October 1992

• 
  Thierry Boy de la Tour: An Optimality Result for Clause Form Translation. 283-302
• 
  Daniel J. Dougherty, Patricia Johann: An Improved General E-Unification Method. 303-320
• 
  Dale Miller: Unification Under a Mixed Prefix. 321-358
• 
  L. Zhang: Some Properties of Finite Special String-Rewriting Systems. 359-370
• 
  George F. McNulty: A Field Guide to Equational Logic. 371-398
• 
  Kazuhiro Yokoyama, Masayuki Noro, Taku Takeshima: Solutions of Systems of Algebraic Equations and Linear Maps on Residue Class Rings. 399-417

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 updated on Sun May 26 03:03:18 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page