Journals in DBLP

J. Symb. Comput.
1991, volume: 12, number: 2

1. D. Richardson
   Wu's Method and the Khovanskii Finiteness Theorem. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1991, v:12, n:2, pp:127-142 [Journal]
   
2. Huub M. M. ten Eikelder, J. C. F. Wilmont
   Normal Forms for a Class of Formulas. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1991, v:12, n:2, pp:143-160 [Journal]
   
3. Jan Willem Klop, Aart Middeldorp
   Sequentiality in Orthogonal Term Rewriting Systems. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1991, v:12, n:2, pp:161-196 [Journal]
   
4. Jean-Marc Champarnaud, Georges Hansel
   AUTOMATE, a Computing Package for Automata and Finite Semigroups. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1991, v:12, n:2, pp:197-220 [Journal]
   
5. P. Pasini, F. Semeria, C. Zannoni
   Symbolic Computation of Orientational Correlation Function Moments. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1991, v:12, n:2, pp:221-232 [Journal]
   
6. D. Wang
   Mechanical Manipulation for a Class of Differential Systems. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1991, v:12, n:2, pp:233-254 [Journal]