Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarJournal 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-49Manfred Schmidt-Schauß:
Unification in a Combination of Arbitrary Disjoint Equational Theories. 51-99Wayne Snyder, Jean H. Gallier:
Higher-Order Unification Revisited: Complete Sets of Transformations. 101-140Philippe le Chenadec:
On the Logic of Unification. 141-199Michael Clausen, Albrecht Fortenbacher:
Efficient Solution of Linear Diophantine Equations. 201-216Patrick Lincoln, Jim Christian:
Adventures in Associative-Commutative Unification. 217-240
Volume 8, Number 3, September 1989
Gregory Butler, John J. Cannon:
Computing in Permutation and Matrix Groups III: Sylow Subgroups. 241-252Laurent Fribourg:
A Strong Restriction of the Inductive Completion Procedure. 253-276Martín Abadi, Zohar Manna:
Temporal Logic Programming. 277-295Fred Brackx, Denis Constales, André Ronveaux, H. Serras:
On the Harmonic and Monogenic Decomposition of Polynomials. 297-304A. D. Fitt:
Symbolic Computation of Hyperbolicity Regions for Systems of Two-Phase Flow Conservation Laws Using Maple. 305-308
Volume 8, Number 4, October 1989
Gordon F. Royle, Cheryl E. Praeger:
Constructing the Vertex-Transitive Graphs of Order 24. 309-326Arne Dür:
On Computing the Canonical Form for a Binary Form of Odd Degree. 327-333Laurence Puel:
Using Unavoidable Set of Trees to Generalize Kruskal's Theorem. 335-382José Meseguer, Joseph A. Goguen:
Order-Sorted Unification. 383-413Manfred Schmidt-Schauß:
Unification in Permutative Equational Theories is Undecidable. 415-421M. L. Dudley, R. W. James:
Computer-Aided Derivation of Spherical Harmonic Spectral Equations in Astrogeophysics. 423-427
Volume 8, Number 5, November 1989
Lars Langemyr, Scott McCallum:
The Computation of Polynomial Greatest Common Divisors Over an Algebraic Number Field. 429-448Alexandre Boudet, Jean-Pierre Jouannaud, Manfred Schmidt-Schauß:
Unification in Boolean Rings and Abelian Groups. 449-477Franz Baader:
Unification in Commutative Theories. 479-497Habib Abdulrab, Jean-Pierre Pécuchet:
Solving Word Equations. 499-521Hans-Jürgen Bürckert:
Matching - A Special Case of Unification? 523-536André Ronveaux, G. Thiry:
Differential Equations of Some Orthogonal Families in REDUCE. 537-541
Volume 8, Number 6, December 1989
Hidetsune Kobayashi, Shuichi Moritsugu, Robert W. Hogan:
On Radical Zero-Dimensional Ideals. 545-552Kazuhiro Yokoyama, Masayuki Noro, Taku Takeshima:
Computing Primitive Elements of Extension Fields. 553-580Takaji Umeno, Syuichi Yamashita, Osami Saito, Kenichi Abe:
Symbolic Computation Application for the Design of Linear Multivariable Control Systems. 581-588Kô Sakai, Akira Aiba:
CAL: A Theoretical Background of Constraint Logic Programming and its Applications. 589-603Taisuke Sato, Hisao Tamaki:
First Order Compiler: A Deterministic Logic Program Synthesis Algorithm. 605-627Tatsuya Hagino:
Codatatypes in ML. 629-650Masami Hagiya:
Meta-Circular Interpreter for a Strongly Typed Language. 651-680Hiroyuki Sato:
E-CCC: Between CCC and Topos, - its Expressive Power from the Viewpoint of Data Type Theory. 681-695
last updated on 2019-10-21 23:27 CEST by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
