External Links

    Journal: Journal of Symbolic Computation

    Volume 7, Issue 2

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