Volume 12,
Number 1,
July 1991
- Chee-Keng Yap:
A New Lower Bound Construction for the Word Problem for Commutative Thue Systems.
1-28
- Yukihide Takayama:
Proof Theoretic Approach to the Extraction of Redundancy free Realizer Codes.
29-70
- L. Lambe:
Resolution via Homological Perturbation.
71-88
- Marc Garbey, Hans G. Kaper, Gary K. Leaf, B. J. Matkowsky:
Using MAPLE for the Analysis of Bifurcation Phenomena in Condensed-Phase Surface Combustion.
89-114
- N. E. Oussous:
Macsyma Computation of Local Minimal Realization of Dynamical Systems of which Generating Power Series are Finite.
115-126
Volume 12,
Number 2,
August 1991
Volume 12,
Number 3,
September 1991
- Friedrich Otto:
When is an Extension of a Specification Consistent? Decidable and Undecidable Cases.
255-274
- B. Schend:
A Methodology for Detecting Shared Variable Dependencies in Logic Programs.
275-298
- George E. Collins, H. Hong:
Partial Cylindrical Algebraic Decomposition for Quantifier Elimination.
299-328
- G. Björck, G. Fröberg:
A Faster Way to Count the Solution of Inhomogeneous Systems of Algebraic Equations, with Applications to Cyclic n-Roots.
329-336
- C. Jacobsson, C. Löfwall:
Standard Bases for General Coefficient Rings and a New Constructive Proof of Hilbert's Basis Theorem.
337-372
- V. Sailer, Guillermo Morales-Luna:
On the Polynomial Representation of Generalized Liouville Operators.
373-380
- W. L. Roque, R. P. Dos Santos:
Computer Algebra in Spacetime Embedding.
381-389
Volume 12,
Number 4/5,
October/November 1991
Volume 12,
Number 6,
December 1991
Copyright © Fri Nov 27 19:55:14 2009
by Michael Ley (ley@uni-trier.de)
