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