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 BibTeX
F. Leon Pritchard: The Ideal Membership Problem in Non-Commutative Polynomial Rings. 27-48 BibTeX
Maribel Fernández: AC Complement Problems: Satisfiability and Negation Elimination. 49-82 BibTeX
Laureano González-Vega: Applying Quantifier Elimination to the Birkhoff Interpolation Problem. 83-103 BibTeX
Srinivas Tummarakota, Junghsen Lieh: Symbolic Finite Element Modeling of Structural Systems. 105-119 BibTeX

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

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

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

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