Journal of Symbolic Computation, Volume 6, 1988

Volume 6, Number 1, August 1988

• Leo Bachmair, Nachum Dershowitz: Critical Pair Criteria for Completion. 1-18 BibTeX
• Deepak Kapur, David R. Musser, Paliath Narendran: Only Prime Superpositions Need be Considered in the Knuth-Bendix Completion Procedure. 19-36 BibTeX
• Abdelilah Kandri-Rody, Deepak Kapur: Computing a Gröbner Basis of a Polynomial Ideal over a Euclidean Domain. 37-57 BibTeX
• Edmund F. Robertson: Tietze Transformations with Weighted Substring Search. 59-64 BibTeX
• Thomas J. Myers, Maya Gokhale: Parallel Scheduling of Recursively Defined Arrays. 65-81 BibTeX
• Domenico Cantone, Susanna Ghelfo, Eugenio G. Omodeo: The Automation of Syllogistic I. Syllogistic Normal Forms. 83-98 BibTeX
• Celia Wrathall: The Word Problem for Free Partially Commutative Groups. 99-104 BibTeX
• Gerhard O. Michler: An Algorithm for Determining the Simplicity of a Modular Group Representation. 105-111 BibTeX
• J. Dixmier, Daniel Lazard: Minimum Number of Fundamental Invariants for the Binary Form of Degree. 113-115 BibTeX
• Alexander Ollongren: On a Particular Restricted Five-Body Problem An Analysis with Computer Algebra. 117-126 BibTeX
• James H. Davenport: Computer Algebra Applied to Itself. 127-132 BibTeX

Volume 6, Number 2/3, October/December 1988

• David Bayer, Michael Stillman: On the Complexity of Computing Syzygies. 135-147 BibTeX
• Patrizia M. Gianni, Barry M. Trager, Gail Zacharias: Gröbner Bases and Primary Decomposition of Polynomial Ideals. 149-167 BibTeX
• Ruth Shtokhamer: Lifting Canonical Algorithms from a Ring R to the Ring R[x]. 169-181 BibTeX
• Teo Mora, Lorenzo Robbiano: The Gröbner Fan of an Ideal. 183-208 BibTeX
• David Bayer, Ian Morrison: Standard Bases and Geometric Invariant Theory I. Initial Ideals and State Polytopes. 209-217 BibTeX
• Giuseppa Carrà Ferro: Gröbner Bases and Hilbert Schemes. I. 219-230 BibTeX
• Heinz Kredel, Volker Weispfenning: Computing Dimension and Independent Sets for Polynomial Ideals. 231-247 BibTeX
• Marc Giusti: Combinatorial Dimension Theory of Algebraic Varieties. 249-265 BibTeX
• David Shannon, Moss Sweedler: Using Gröbner Bases to Determine Algebra Membership Split Surjective Algebra Homomorphisms Determine Birational Equivalence. 267-273 BibTeX
• Rüdiger Gebauer, H. Michael Möller: On an Installation of Buchberger's Algorithm. 275-286 BibTeX
• Franz Winkler: A p-Adic Approach to the Computation of Gröbner Bases. 287-304 BibTeX
• Alfonso Miola, Teo Mora: Constructive Lifting in Graded Structures: A Unified View of Buchberger and Hensel Methods. 305-322 BibTeX
• Michela Brundu, Fabio Rossi: On the Computation of Generalized Standard Bases. 323-343 BibTeX
• H. Michael Möller: On the Construction of Gröbner Bases Using Syzygies. 345-359 BibTeX
• Joachim Apel, W. Lassner: An Extension of Buchberger's Algorithm and Calculations in Enveloping Fields of Lie Algebras. 361-370 BibTeX
• Tatiana Gateva-Ivanova, Victor Latyshev: On Recognisable Properties of Associative Algebras. 371-388 BibTeX