Journals in DBLP

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

1. Eugene M. Luks, Ferenc Rakoczi, Charles R. B. Wright
   Some Algorithms for Nilpotent Permutation Groups. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1997, v:23, n:4, pp:335-354 [Journal]
   
2. Hoon Hong
   Subresultants Under Composition. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1997, v:23, n:4, pp:355-365 [Journal]
   
3. Amy P. Felty, Laurent Théry
   Interactive Theorem Proving with Temporal Logic. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1997, v:23, n:4, pp:367-397 [Journal]
   
4. Alfons Geser
   Omega-Termination is Undecidable for Totally Terminating Term Rewriting Systems. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1997, v:23, n:4, pp:399-411 [Journal]
   
5. Sébastien Veigneau
   SP, a Package for Schubert Polynomials Realized with the Computer Algebra System. MAPLE. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1997, v:23, n:4, pp:413-425 [Journal]
   
6. Robert M. Corless, David J. Jeffrey, Michael B. Monagan, Pratibha
   Two Perturbation Calculations in Fluid Mechanics Using Large-Expression Management. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1997, v:23, n:4, pp:427-443 [Journal]