Journals in DBLP

J. Symb. Comput.
1989, volume: 7, number: 2

1. Richard Statman
   The Word Problem for Smullyan's Lark Combinator is Decidable. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1989, v:7, n:2, pp:103-112 [Journal]
   
2. Masako Takahashi
   Parallel Reductions in lambda-Calculus. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1989, v:7, n:2, pp:113-123 [Journal]
   
3. Danny De Schreye, Maurice Bruynooghe
   On the Transformation of Logic Programs with Instantiation Based Computation Rules. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1989, v:7, n:2, pp:125-154 [Journal]
   
4. Marilena Pittaluga, Elisabetta Strickland
   A Computer Oriented Algorithm for the Determination of the Dimension and Character of a Modular Irreducible SL(n, K)-Module. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1989, v:7, n:2, pp:155-161 [Journal]
   
5. Ronald D. Dutton, Robert C. Brigham, Fernando Gomez
   INGRID: A Graph Invariant Manipulator. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1989, v:7, n:2, pp:163-177 [Journal]
   
6. S. A. Vorontsov
   An Example of Application of Symbolic Computation in Solid State Physics. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1989, v:7, n:2, pp:179-181 [Journal]
   
7. B. Autin, J. Bengtsson
   Symbolic Evaluation of Integrals Occurring in Accelerator Orbit Theory. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1989, v:7, n:2, pp:183-187 [Journal]
   
8. Jerry F. Magnan
   A MACSYMA Program for the Multiple Bifurcation Analysis of Double-Diffusive Concection. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1989, v:7, n:2, pp:189-197 [Journal]
   
9. Wolfgang Hirschberg, Dieter Schramm
   Application of NEWEUL in Robot Dynamics. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1989, v:7, n:2, pp:199-204 [Journal]