Journals in DBLP

J. Symb. Comput.
1985, volume: 1, number: 4

1. Leo Bachmair, David A. Plaisted
   Termination Orderings for Associative-Commutative Rewriting Systems. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1985, v:1, n:4, pp:329-349 [Journal]
   
2. Derek F. Holt
   The Mechanical Computation of First and Second Cohomology Groups. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1985, v:1, n:4, pp:351-361 [Journal]
   
3. Gregory Butler, Clement W. H. Lam
   A General Backtrack Algorithm for the Isomorphism Problem of Combinatorial Objects. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1985, v:1, n:4, pp:363-381 [Journal]
   
4. Klaus Madlener, Friedrich Otto
   Pseudo-Natural Algorithms for the Word Problem for Finitely Presented Monoids and Groups. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1985, v:1, n:4, pp:383-418 [Journal]
   
5. Ph. Tombal, A. Moussiaux
   MACSYMA Computation of the Dirac-Bergmann Algorithm for Hamiltonian Systems with Constraints. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1985, v:1, n:4, pp:419-421 [Journal]