Journals in DBLP

J. Symb. Comput.
1989, volume: 8, number: 1/2

1. Hans-Jürgen Bürckert, Alexander Herold, Manfred Schmidt-Schauß
   On Equational Theories, Unification, and (Un)Decidability. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1989, v:8, n:1/2, pp:3-49 [Journal]
   
2. Manfred Schmidt-Schauß
   Unification in a Combination of Arbitrary Disjoint Equational Theories. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1989, v:8, n:1/2, pp:51-99 [Journal]
   
3. Wayne Snyder, Jean H. Gallier
   Higher-Order Unification Revisited: Complete Sets of Transformations. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1989, v:8, n:1/2, pp:101-140 [Journal]
   
4. Philippe le Chenadec
   On the Logic of Unification. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1989, v:8, n:1/2, pp:141-199 [Journal]
   
5. Michael Clausen, Albrecht Fortenbacher
   Efficient Solution of Linear Diophantine Equations. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1989, v:8, n:1/2, pp:201-216 [Journal]
   
6. Patrick Lincoln, Jim Christian
   Adventures in Associative-Commutative Unification. [Citation Graph (1, 0)][DBLP]
   J. Symb. Comput., 1989, v:8, n:1/2, pp:217-240 [Journal]