ask others

Journal of Symbolic Computation, Volume 8, 1989

> Home > Journals > Journal of Symbolic Computation

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

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jsc/BurckertHS89
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsc/BurckertHS89
Hans-Jürgen Bürckert, Alexander Herold, Manfred Schmidt-Schauß:
On Equational Theories, Unification, and (Un)Decidability. 3-49
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jsc/Schmidt-Schauss89
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsc/Schmidt-Schauss89
Manfred Schmidt-Schauß:
Unification in a Combination of Arbitrary Disjoint Equational Theories. 51-99
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jsc/SnyderG89
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsc/SnyderG89
Wayne Snyder, Jean H. Gallier:
Higher-Order Unification Revisited: Complete Sets of Transformations. 101-140
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jsc/Chenadec89
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsc/Chenadec89
Philippe le Chenadec:
On the Logic of Unification. 141-199
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jsc/ClausenF89
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsc/ClausenF89
Michael Clausen, Albrecht Fortenbacher:
Efficient Solution of Linear Diophantine Equations. 201-216
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jsc/LincolnC89
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsc/LincolnC89
Patrick Lincoln, Jim Christian:
Adventures in Associative-Commutative Unification. 217-240

Volume 8, Number 3, September 1989

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jsc/ButlerC89
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsc/ButlerC89
Gregory Butler, John J. Cannon:
Computing in Permutation and Matrix Groups III: Sylow Subgroups. 241-252
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jsc/Fribourg89
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsc/Fribourg89
Laurent Fribourg:
A Strong Restriction of the Inductive Completion Procedure. 253-276
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jsc/AbadiM89
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsc/AbadiM89
Martín Abadi, Zohar Manna:
Temporal Logic Programming. 277-295
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jsc/BrackxCRS89
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsc/BrackxCRS89
F. Brackx, Denis Constales, André Ronveaux, H. Serras:
On the Harmonic and Monogenic Decomposition of Polynomials. 297-304
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jsc/Fitt89
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsc/Fitt89
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

- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - journals/jsc/RoyleP89
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsc/RoyleP89
Gordon F. Royle, Cheryl E. Praeger:
Constructing the Vertex-Transitive Graphs of Order 24. 309-326
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jsc/Dur89
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsc/Dur89
Arne Dür:
On Computing the Canonical Form for a Binary Form of Odd Degree. 327-333
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jsc/Puel89
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsc/Puel89
Laurence Puel:
Using Unavoidable Set of Trees to Generalize Kruskal's Theorem. 335-382
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jsc/MeseguerG89
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsc/MeseguerG89
José Meseguer, Joseph A. Goguen:
Order-Sorted Unification. 383-413
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jsc/Schmidt-Schauss89a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsc/Schmidt-Schauss89a
Manfred Schmidt-Schauß:
Unification in Permutative Equational Theories is Undecidable. 415-421
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jsc/DudleyJ89
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsc/DudleyJ89
M. L. Dudley, R. W. James:
Computer-Aided Derivation of Spherical Harmonic Spectral Equations in Astrogeophysics. 423-427

Volume 8, Number 5, November 1989

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jsc/LangemyrM89
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsc/LangemyrM89
Lars Langemyr, Scott McCallum:
The Computation of Polynomial Greatest Common Divisors Over an Algebraic Number Field. 429-448
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - journals/jsc/BoudetJS89
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsc/BoudetJS89
Alexandre Boudet, Jean-Pierre Jouannaud, Manfred Schmidt-Schauß:
Unification in Boolean Rings and Abelian Groups. 449-477
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - journals/jsc/Baader89
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsc/Baader89
Franz Baader:
Unification in Commutative Theories. 479-497
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jsc/AbdulrabP89
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsc/AbdulrabP89
Habib Abdulrab, Jean-Pierre Pécuchet:
Solving Word Equations. 499-521
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jsc/Burckert89
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsc/Burckert89
Hans-Jürgen Bürckert:
Matching - A Special Case of Unification? 523-536
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jsc/RonveauxT89
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsc/RonveauxT89
André Ronveaux, G. Thiry:
Differential Equations of Some Orthogonal Families in REDUCE. 537-541

Volume 8, Number 6, December 1989

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jsc/KobayashiMH89
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsc/KobayashiMH89
Hidetsune Kobayashi, Shuichi Moritsugu, Robert W. Hogan:
On Radical Zero-Dimensional Ideals. 545-552
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jsc/YokoyamaNT89
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsc/YokoyamaNT89
Kazuhiro Yokoyama, Masayuki Noro, Taku Takeshima:
Computing Primitive Elements of Extension Fields. 553-580
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jsc/UmenoYSA89
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsc/UmenoYSA89
Takaji Umeno, Syuichi Yamashita, Osami Saito, Kenichi Abe:
Symbolic Computation Application for the Design of Linear Multivariable Control Systems. 581-588
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jsc/SakaiA89
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsc/SakaiA89
Kô Sakai, Akira Aiba:
CAL: A Theoretical Background of Constraint Logic Programming and its Applications. 589-603
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jsc/SatoT89
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsc/SatoT89
Taisuke Sato, Hisao Tamaki:
First Order Compiler: A Deterministic Logic Program Synthesis Algorithm. 605-627
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jsc/Hagino89
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsc/Hagino89
Tatsuya Hagino:
Codatatypes in ML. 629-650
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jsc/Hagiya89
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsc/Hagiya89
Masami Hagiya:
Meta-Circular Interpreter for a Strongly Typed Language. 651-680
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jsc/Sato89
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsc/Sato89
Hiroyuki Sato:
E-CCC: Between CCC and Topos, - its Expressive Power from the Viewpoint of Data Type Theory. 681-695

maintained by

, founded at