Journal of Symbolic Computation, Volume 7, 1989

Volume 7, Number 1, January 1989

Hans W. Scholten, Mark H. Overmars: General Methods for Adding Range Restrictions to Decomposable Searching Problems. 1-10
Richard Cole, Micha Sharir: Visibility Problems for Polyhedral Terrains. 11-30
Bruce W. Char, Keith O. Geddes, Gaston H. Gonnet: GCDHEU: Heuristic Polynomial GCD Algorithm Based On Integer GCD Computation. 31-48
Stephen R. Czapor: Solving Algebraic Equations: Combining Buchberger's Algorithm with Multivariate Factorization. 49-53
Luquan Pan: On the D-Bases of Polynomial Ideals Over Principal Ideal Domains. 55-69
Leon Sterling, Alan Bundy, Lawrence Byrd, Richard A. O'Keefe, Bernard Silver: Solving Symbolic Equations with PRESS. 71-84
Ph. Tombal, A. Moussiaux: Algebraic Programming of Geometrical Calculus and Clifford Algebra. 85-91
Tze Beng Ng: Computation of the Cohomology of BSO_n<16> for 23 <= n <= 26 Using REDUCE. 93-99

Richard Statman: The Word Problem for Smullyan's Lark Combinator is Decidable. 103-112
Masako Takahashi: Parallel Reductions in lambda-Calculus. 113-123
Danny De Schreye, Maurice Bruynooghe: On the Transformation of Logic Programs with Instantiation Based Computation Rules. 125-154
Marilena Pittaluga, Elisabetta Strickland: A Computer Oriented Algorithm for the Determination of the Dimension and Character of a Modular Irreducible SL(n, K)-Module. 155-161
Ronald D. Dutton, Robert C. Brigham, Fernando Gomez: INGRID: A Graph Invariant Manipulator. 163-177
S. A. Vorontsov: An Example of Application of Symbolic Computation in Solid State Physics. 179-181
B. Autin, J. Bengtsson: Symbolic Evaluation of Integrals Occurring in Accelerator Orbit Theory. 183-187
Jerry F. Magnan: A MACSYMA Program for the Multiple Bifurcation Analysis of Double-Diffusive Concection. 189-197
Wolfgang Hirschberg, Dieter Schramm: Application of NEWEUL in Robot Dynamics. 199-204

Jörg H. Siekmann: Unification Theory. 207-274
Ursula Martin, Tobias Nipkow: Boolean Unification - The Story So Far. 275-293
Werner Nutt, Pierre Réty, Gert Smolka: Basic Narrowing Revisited. 295-317
Jia-Huai You: Enumarating Outer Narrowing Derivations for Constructor-Based Term Rewriting Systems. 319-341
Gert Smolka, Hassan Aït-Kaci: Inheritance Hierarchies: Semantics and Unification. 343-370
Hubert Comon, Pierre Lescanne: Equational Problems and Disunification. 371-425
Paris C. Kanellakis, Peter Z. Revesz: On the Relationship of Congruence Closure and Unification. 427-444

Dexter Kozen, Susan Landau: Polynomial Decomposition Algorithms. 445-456
Paliath Narendran, Colm Ó'Dúnlaing: Cancellativity in Finitely Presented Semigroups. 457-472
Clement W. H. Lam, Larry H. Thiel: Backtrack Search with Isomorph Rejection and Consistency Check. 473-485
Eyal Mozes: A Deductive Database Based on Aristotelian Logic. 487-507
Catherine Lassez, Ken McAloon, Graeme S. Port: Stratification and Knowledge Base Management. 509-522
Renato P. Dos Santos: Using Reduce in Supersymmetry. 523-525

Bernd Martin, Gerhard Pfister: The Kernel of the Kodaira-Spencer Map of the Versal µ-Constant Deformation of an Irreducible Plane Curve Singularity with C^r-Action. 527-531
Jonathan Traugott: Deductive Synthesis of Sorting Programs. 533-572
Patrick Suppes, Shuzo Takahashi: An Interactive Calculus Theorem-Prover for Continuity Properties. 573-590
Teofilo F. Gonzalez, Si-Qing Zheng: Inproved Bounds for Rectangular and Guillotine Partitions. 591-610
W. I. Fushchich, Vladimir V. Kornyak: Computer Algebra Application for Determining Lie and Lie-Bäcklund Symmetries of Differential Equations. 611-619