Journal of Symbolic Computation, Volume 22, 1996

Volume 22, Number 1, July 1996

Alexander L. Chistov: Polynomial-Time Computation of the Dimension of Algebraic Varieties in Zero-Characteristic. 1-25
F. Leon Pritchard: The Ideal Membership Problem in Non-Commutative Polynomial Rings. 27-48
Maribel Fernández: AC Complement Problems: Satisfiability and Negation Elimination. 49-82
Laureano González-Vega: Applying Quantifier Elimination to the Birkhoff Interpolation Problem. 83-103
Srinivas Tummarakota, Junghsen Lieh: Symbolic Finite Element Modeling of Structural Systems. 105-119

Uwe Egly: On Different Structure-Preserving Translations to Normal Form. 121-142
Massimo Marchiori: On the Modularity of Normal Forms in Rewriting. 143-154
Robert Cremanns, Friedrich Otto: For Groups the Property of Having Finite Derivation Type is Equivalent to the Homological Finiteness Condition FP_3. 155-177
Felix Ulmer, Jacques-Arthur Weil: Note on Kovacic's Algorithm. 179-200
R. T. Curtis, Z. Hasan: Symmetric Representation of the Elements of the Janko Group J_1. 201-214
Francis Buekenhout, Dimitri Leemans: On the List of Finite Primitive Permutation Groups of Degree <= 50. 215-225
Dieter Aschenwald, Thomas Siegl, Robert F. Tichy: MAPinsure - A MAPLE Package for Life Insurance. 227-234

Dexter Kozen, Susan Landau, Richard Zippel: Decomposition of Algebraic Functions. 235-246
Takeshi Shimoyama, Kazuhiro Yokoyama: Localization and Primary Decomposition of Polynomial Ideals. 247-277
Jordi Levy, Jaume Agustí-Cullell: Bi-Rewrite Systems. 279-314
Jun Zhang: Symbolic Computation on Complex Polynomial Solution of Differential Equations. 345-354

Carlo Traverso: Hilbert Functions and the Buchberger Algorithm. 355-376
Victor Y. Pan: Computing x^m mod p(x) and an Application to Splitting a Polynomial Into Factors Over a Fixed Disc. 377-380
Bruno Salinier, Robert Strandh: Efficient Simulation of Forward-Branching Systems with Constructor Systems. 381-399
Zhenyu Qian, Kang Wang: Modular Higher-Order Equational Preunification. 401-424
István Gaál, Michael Pohst: On the Resolution of Index form Equations in Sextic Fields with an Imaginary Quadratic Subfield. 425-434
Marian Mrozek: Rigorous Error Analysis of Numerical Algorithms via Symbolic Computations. 435-458
Bram De Jager, Bram Van Asch: Symbolic Solutions for a Class of Partial Differential Equations. 459-468

Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta: Timed Default Concurrent Constraint Programming. 475-520
Carlos Caleiro, Gunter Saake, Amílcar Sernadas: Deriving Liveness Goals from Temporal Logic Specifications. 521-553
Thom W. Frühwirth: Temporal Annotated Constraint Logic Programming. 555-583
Mohsin Ahmed, G. Venkatesh: Dense Time Logic Programming. 585-613
Joeri Engelfriet, Jan Treur: Executable Temporal Logic for Non-Monotonic Reasoning. 615-625
Michael Fisher: Temporal Semantics for Concurrent Metatem. 627-648
Jean-Raymond Gagné, John Plaice: A Non-Standard Temporal Deductive Database System. 649-664
Edjard Mota, David Stuart Robertson, Alan Smaill: NatureTime: Temporal Granularity in Simulation of Ecosystems. 665-698
Chuchang Liu, Mehmet A. Orgun: Dealing with Multiple Granularity of Time in Temporal Logic Programming. 699-720
Mehmet A. Orgun, Antony A. Faustini: Executable Temporal Logic Systems. 721-735