Journal of Symbolic Computation, Volume 17, 1994

Volume 17, Number 1, January 1994

• Aart Middeldorp: Completeness of Combinations of Conditional Constructor Systems. 3-21 BibTeX
• Hans Zantema: Termination of Term Rewriting: Interpretation and Type Elimination. 23-50 BibTeX
• Claus-Peter Wirth, Bernhard Gramlich: A Constructor-Based Approach to Positive/Negative-Conditional Equational Specifications. 51-90 BibTeX
• Dieter Hofbauer, Maria Huber: Linearizing Term Rewriting Systems Using Test Sets. 91-129 BibTeX

Volume 17, Number 2, February 1994

• E. A. O'Brien: Isomorphism Testing for p-Groups. 133-147 BibTeX
• Ralf Fröberg, Joachim Hollman: Hilbert Series for Ideals Generated by Generic Forms. 149-157 BibTeX
• Ronald Brown, Andrew Tonks: Calculations with Simplicial and Cubical Groups in AXIOM. 159-179 BibTeX
• Alex Kean, George K. Tsiknis: A Corrigendum for the Optimized-IPIA. 181-187 BibTeX
• Hantao Zhang: A New Method for the Boolean Ring Based Theorem Proving. 189-211 BibTeX

Volume 17, Number 3, March 1994

• Thomas Eiter: Exact Transversal Hypergraphs and Application to Boolean µ-Functions. 215-225 BibTeX
• Bruno Salvy: Fast Computation of Some Asymptotic Functional Inverses. 227-236 BibTeX
• Richard A. Davies: Idempotent Computation over Finite Fields. 237-258 BibTeX
• Michel Dehon: Classifying Geometries with Cayley. 259-276 BibTeX
• Maurice Mignotte, Philippe H. Glesser: On the Smallest Divisor of a Polynomial. 277-282 BibTeX
• V. P. Gusynin, Vladimir V. Kornyak: Symbolic Computation of DeWitt-Seeley-Gilkey Coefficients on Curved Manifolds. 283-294 BibTeX

Volume 17, Number 4, April 1994

• Jürg Nievergelt: Complexity, Algorithms, Programs, Systems: The Shifting Focus. 297-310 BibTeX
• Peter Schorn: Evolution of a Software System: Interaction, Interfaces and Applications in the XYZ GeoBench. 311-320 BibTeX
• Gerald Weber, Lars Knipping, Helmut Alt: An Application of Point Pattern Matching in Astronautics. 321-340 BibTeX
• Darrell R. Raymond, Derick Wood: Grail: A C++ Library for Automata and Expressions. 341-350 BibTeX
• Emo Welzl, Barbara Wolfers: Surface Reconstruction Between Simple Polygons via Angle Criteria. 351-369 BibTeX

Volume 17, Number 5, May 1994

• Victor Shoup: Fast Construction of Irreducible Polynomials over Finite Fields. 371-391 BibTeX
• Kim S. Larsen, Michael I. Schwartzbach: Injectivity of Composite Functions. 393-408 BibTeX
• Andrea Lucchini, Federico Menegazzo: Computing a Set of Generators of Minimal Cardinality in a Solvable Group. 409-420 BibTeX
• Rolf Backofen: Regular Path Expressions in Feature Logic. 421-455 BibTeX
• Delma J. Hebert: Symbolic Local Refinement of Tetrahedral Grids. 457-472 BibTeX

Volume 17, Number 6, June 1994

• Jeffrey Shallit, Jonathan Sorenson: Analysis of a Left-Shift Binary GCD Algorithm. 473-486 BibTeX
• Patrick A. Worfolk: Zeros of Equivariant Vector Fields: Algorithms for an Invariant Approach. 487-511 BibTeX
• Gene Cooperman, Larry Finkelstein: A Random Base Change Algorithm for Permutation Groups. 513-528 BibTeX
• Klaus Lux, Jürgen Müller, Michael Ringe: Peakword Condensation and Submodule Lattices: An Application of the Meat-Axe. 529-544 BibTeX
• Kazuhiro Yokoyama, Masayuki Noro, Taku Takeshima: Multi-Modular Approach to Polynomial-Time Factorization of Bivariate Integral Polynomials. 545-563 BibTeX