Journals in DBLP

J. Symb. Comput.
1988, volume: 6, number: 1

1. Leo Bachmair, Nachum Dershowitz
   Critical Pair Criteria for Completion. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1988, v:6, n:1, pp:1-18 [Journal]
   
2. Deepak Kapur, David R. Musser, Paliath Narendran
   Only Prime Superpositions Need be Considered in the Knuth-Bendix Completion Procedure. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1988, v:6, n:1, pp:19-36 [Journal]
   
3. Abdelilah Kandri-Rody, Deepak Kapur
   Computing a Gröbner Basis of a Polynomial Ideal over a Euclidean Domain. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1988, v:6, n:1, pp:37-57 [Journal]
   
4. Edmund F. Robertson
   Tietze Transformations with Weighted Substring Search. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1988, v:6, n:1, pp:59-64 [Journal]
   
5. Thomas J. Myers, Maya Gokhale
   Parallel Scheduling of Recursively Defined Arrays. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1988, v:6, n:1, pp:65-81 [Journal]
   
6. Domenico Cantone, Susanna Ghelfo, Eugenio G. Omodeo
   The Automation of Syllogistic I. Syllogistic Normal Forms. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1988, v:6, n:1, pp:83-98 [Journal]
   
7. Celia Wrathall
   The Word Problem for Free Partially Commutative Groups. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1988, v:6, n:1, pp:99-104 [Journal]
   
8. Gerhard O. Michler
   An Algorithm for Determining the Simplicity of a Modular Group Representation. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1988, v:6, n:1, pp:105-111 [Journal]
   
9. J. Dixmier, Daniel Lazard
   Minimum Number of Fundamental Invariants for the Binary Form of Degree. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1988, v:6, n:1, pp:113-115 [Journal]
   
10. Alexander Ollongren
    On a Particular Restricted Five-Body Problem An Analysis with Computer Algebra. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1988, v:6, n:1, pp:117-126 [Journal]
    
11. James H. Davenport
    Computer Algebra Applied to Itself. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1988, v:6, n:1, pp:127-132 [Journal]