Journal of Symbolic Computation, Volume 8, 1989

Volume 8, Number 1/2, July/August 1989

Hans-Jürgen Bürckert, Alexander Herold, Manfred Schmidt-Schauß: On Equational Theories, Unification, and (Un)Decidability. 3-49 BibTeX
Manfred Schmidt-Schauß: Unification in a Combination of Arbitrary Disjoint Equational Theories. 51-99 BibTeX
Wayne Snyder, Jean H. Gallier: Higher-Order Unification Revisited: Complete Sets of Transformations. 101-140 BibTeX
Philippe le Chenadec: On the Logic of Unification. 141-199 BibTeX
Michael Clausen, Albrecht Fortenbacher: Efficient Solution of Linear Diophantine Equations. 201-216 BibTeX
Patrick Lincoln, Jim Christian: Adventures in Associative-Commutative Unification. 217-240 BibTeX

Gregory Butler, John J. Cannon: Computing in Permutation and Matrix Groups III: Sylow Subgroups. 241-252 BibTeX
Laurent Fribourg: A Strong Restriction of the Inductive Completion Procedure. 253-276 BibTeX
Martín Abadi, Zohar Manna: Temporal Logic Programming. 277-295 BibTeX
F. Brackx, Denis Constales, André Ronveaux, H. Serras: On the Harmonic and Monogenic Decomposition of Polynomials. 297-304 BibTeX
A. D. Fitt: Symbolic Computation of Hyperbolicity Regions for Systems of Two-Phase Flow Conservation Laws Using Maple. 305-308 BibTeX

Gordon F. Royle, Cheryl E. Praeger: Constructing the Vertex-Transitive Graphs of Order 24. 309-326 BibTeX
Arne Dür: On Computing the Canonical Form for a Binary Form of Odd Degree. 327-333 BibTeX
Laurence Puel: Using Unavoidable Set of Trees to Generalize Kruskal's Theorem. 335-382 BibTeX
José Meseguer, Joseph A. Goguen: Order-Sorted Unification. 383-413 BibTeX
Manfred Schmidt-Schauß: Unification in Permutative Equational Theories is Undecidable. 415-421 BibTeX
M. L. Dudley, R. W. James: Computer-Aided Derivation of Spherical Harmonic Spectral Equations in Astrogeophysics. 423-427 BibTeX

Lars Langemyr, Scott McCallum: The Computation of Polynomial Greatest Common Divisors Over an Algebraic Number Field. 429-448 BibTeX
Alexandre Boudet, Jean-Pierre Jouannaud, Manfred Schmidt-Schauß: Unification in Boolean Rings and Abelian Groups. 449-477 BibTeX
Franz Baader: Unification in Commutative Theories. 479-497 BibTeX
Habib Abdulrab, Jean-Pierre Pécuchet: Solving Word Equations. 499-521 BibTeX
Hans-Jürgen Bürckert: Matching - A Special Case of Unification? 523-536 BibTeX
André Ronveaux, G. Thiry: Differential Equations of Some Orthogonal Families in REDUCE. 537-541 BibTeX

Hidetsune Kobayashi, Shuichi Moritsugu, Robert W. Hogan: On Radical Zero-Dimensional Ideals. 545-552 BibTeX
Kazuhiro Yokoyama, Masayuki Noro, Taku Takeshima: Computing Primitive Elements of Extension Fields. 553-580 BibTeX
Takaji Umeno, Syuichi Yamashita, Osami Saito, Kenichi Abe: Symbolic Computation Application for the Design of Linear Multivariable Control Systems. 581-588 BibTeX
Kô Sakai, Akira Aiba: CAL: A Theoretical Background of Constraint Logic Programming and its Applications. 589-603 BibTeX
Taisuke Sato, Hisao Tamaki: First Order Compiler: A Deterministic Logic Program Synthesis Algorithm. 605-627 BibTeX
Tatsuya Hagino: Codatatypes in ML. 629-650 BibTeX
Masami Hagiya: Meta-Circular Interpreter for a Strongly Typed Language. 651-680 BibTeX
Hiroyuki Sato: E-CCC: Between CCC and Topos, - its Expressive Power from the Viewpoint of Data Type Theory. 681-695 BibTeX