Journals in DBLP

J. Symb. Comput.
1997, volume: 23, number: 1

1. Robert Nieuwenhuis, Albert Rubio
   Paramodulation with Built-in AC-Theories and Symbolic Constraints. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1997, v:23, n:1, pp:1-21 [Journal]
   
2. Christopher Lynch
   Oriented Equational Logic Programming is Complete. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1997, v:23, n:1, pp:23-45 [Journal]
   
3. Adel Bouhoula
   Automated Theorem Proving by Test Set Induction. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1997, v:23, n:1, pp:47-77 [Journal]
   
4. Yuichi Kaji, Toru Fujiwara, Tadao Kasami
   Solving a Unification Problem under Constrained Substitutions Using Tree Automata. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1997, v:23, n:1, pp:79-117 [Journal]
   
5. B. M. Brown, Michael S. P. Eastham, D. K. R. McCormack
   New Algorithm for Computing the Asymptotic Solutions of a Class of Linear Differential Systems. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1997, v:23, n:1, pp:119-131 [Journal]