Journals in DBLP

J. Symb. Comput.
1998, volume: 25, number: 4

1. Hubert Comon
   Completion of Rewrite Systems with Membership Constraints. Part I: Deduction Rules. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1998, v:25, n:4, pp:397-419 [Journal]
   
2. Hubert Comon
   Completion of Rewrite Systems with Membership Constraints. Part II: Constraint Solving. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1998, v:25, n:4, pp:421-453 [Journal]
   
3. Claus Hintermeier, Claude Kirchner, Hélène Kirchner
   Dynamically Typed Computations for Order-Sorted Equational Presentations. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1998, v:25, n:4, pp:455-526 [Journal]
   
4. Andreas Werner
   A Semantic Approach to Order-Sorted Rewriting. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1998, v:25, n:4, pp:527-569 [Journal]