![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
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 - Manfred Schmidt-Schauß:
Unification in a Combination of Arbitrary Disjoint Equational Theories. 51-99 - Wayne Snyder, Jean H. Gallier:
Higher-Order Unification Revisited: Complete Sets of Transformations. 101-140 - Philippe le Chenadec:
On the Logic of Unification. 141-199 - Michael Clausen, Albrecht Fortenbacher:
Efficient Solution of Linear Diophantine Equations. 201-216 - Patrick 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-252 - Laurent Fribourg:
A Strong Restriction of the Inductive Completion Procedure. 253-276 - Martín Abadi, Zohar Manna:
Temporal Logic Programming. 277-295 - Fred Brackx, Denis Constales, André Ronveaux, H. Serras:
On the Harmonic and Monogenic Decomposition of Polynomials. 297-304 - A. 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-326 - Arne Dür:
On Computing the Canonical Form for a Binary Form of Odd Degree. 327-333 - Laurence Puel:
Using Unavoidable Set of Trees to Generalize Kruskal's Theorem. 335-382 - José Meseguer, Joseph A. Goguen:
Order-Sorted Unification. 383-413 - Manfred Schmidt-Schauß:
Unification in Permutative Equational Theories is Undecidable. 415-421 - M. 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-448 - Alexandre Boudet, Jean-Pierre Jouannaud, Manfred Schmidt-Schauß:
Unification in Boolean Rings and Abelian Groups. 449-477 - Franz Baader
:
Unification in Commutative Theories. 479-497 - Habib Abdulrab, Jean-Pierre Pécuchet:
Solving Word Equations. 499-521 - Hans-Jürgen Bürckert:
Matching - A Special Case of Unification? 523-536 - André 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-552 - Kazuhiro Yokoyama, Masayuki Noro, Taku Takeshima:
Computing Primitive Elements of Extension Fields. 553-580 - Takaji Umeno, Syuichi Yamashita, Osami Saito, Kenichi Abe:
Symbolic Computation Application for the Design of Linear Multivariable Control Systems. 581-588 - Kô Sakai, Akira Aiba:
CAL: A Theoretical Background of Constraint Logic Programming and its Applications. 589-603 - Taisuke Sato
, Hisao Tamaki:
First Order Compiler: A Deterministic Logic Program Synthesis Algorithm. 605-627 - Tatsuya Hagino:
Codatatypes in ML. 629-650 - Masami Hagiya:
Meta-Circular Interpreter for a Strongly Typed Language. 651-680 - Hiroyuki Sato:
E-CCC: Between CCC and Topos, - its Expressive Power from the Viewpoint of Data Type Theory. 681-695
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.