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
  

Volume 22, Number 2, August 1996

• 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
  

Volume 22, Number 3, September 1996

• 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
  
• Manfred Schmidt-Schauß:
  Decidability of Unification in the Theory of One-Sided Distributivity and a Multiplicative Unit. 315-344
  
• Jun Zhang:
  Symbolic Computation on Complex Polynomial Solution of Differential Equations. 345-354
  

Volume 22, Number 4, October 1996

• 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
  

Volume 22, Number 5/6, November/December 1996

• 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

Last update Thu May 23 19:11:59 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page