Journals in DBLP

J. Symb. Comput.
1989, volume: 7, number: 3/4

1. Jörg H. Siekmann
   Unification Theory. [Citation Graph (2, 0)][DBLP]
   J. Symb. Comput., 1989, v:7, n:3/4, pp:207-274 [Journal]
   
2. Ursula Martin, Tobias Nipkow
   Boolean Unification - The Story So Far. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1989, v:7, n:3/4, pp:275-293 [Journal]
   
3. Werner Nutt, Pierre Réty, Gert Smolka
   Basic Narrowing Revisited. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1989, v:7, n:3/4, pp:295-317 [Journal]
   
4. Jia-Huai You
   Enumarating Outer Narrowing Derivations for Constructor-Based Term Rewriting Systems. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1989, v:7, n:3/4, pp:319-341 [Journal]
   
5. Gert Smolka, Hassan Aït-Kaci
   Inheritance Hierarchies: Semantics and Unification. [Citation Graph (3, 0)][DBLP]
   J. Symb. Comput., 1989, v:7, n:3/4, pp:343-370 [Journal]
   
6. Hubert Comon, Pierre Lescanne
   Equational Problems and Disunification. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1989, v:7, n:3/4, pp:371-425 [Journal]
   
7. Paris C. Kanellakis, Peter Z. Revesz
   On the Relationship of Congruence Closure and Unification. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1989, v:7, n:3/4, pp:427-444 [Journal]