Journals in DBLP

J. Symb. Comput.
1989, volume: 8, number: 3

1. Gregory Butler, John J. Cannon
   Computing in Permutation and Matrix Groups III: Sylow Subgroups. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1989, v:8, n:3, pp:241-252 [Journal]
   
2. Laurent Fribourg
   A Strong Restriction of the Inductive Completion Procedure. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1989, v:8, n:3, pp:253-276 [Journal]
   
3. Martín Abadi, Zohar Manna
   Temporal Logic Programming. [Citation Graph (5, 0)][DBLP]
   J. Symb. Comput., 1989, v:8, n:3, pp:277-295 [Journal]
   
4. F. Brackx, Denis Constales, André Ronveaux, H. Serras
   On the Harmonic and Monogenic Decomposition of Polynomials. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1989, v:8, n:3, pp:297-304 [Journal]
   
5. A. D. Fitt
   Symbolic Computation of Hyperbolicity Regions for Systems of Two-Phase Flow Conservation Laws Using Maple. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1989, v:8, n:3, pp:305-308 [Journal]