Journal: Journal of Symbolic Computation

Volume 4, Issue 3

269 -- 293Jacek Gibert. Functional Programming with Combinators
295 -- 334Stéphane Kaplan. Simplifying Conditional Term Rewriting Systems: Unification, Termination and Confluence
335 -- 349Aziz Hilali. On the Algebraic and Differential Newton-Puiseux Polygons
351 -- 364Sabine Stifter. A Generalization of Reduction Rings
365 -- 380Douglas A. Young, Paul S. Wang. GI/S: A Graphical User Interface For Symbolic Computation Systems
381 -- 390W. A. Beyer, L. R. Fawcett, R. Daniel Mauldin, B. K. Swartz. The Volume Common to Two Congruent Circular Cones whose Axes Intersect Symmetrically
391 -- 396Isaac Elishakoff. Application of Symbolic Algebra to the Instability of a Nonconservative System
397 -- 408S. Bandyopadhyay, John S. Devitt. SIS - A Symbolic Information Management System