External Links

    Journal: Journal of Symbolic Computation

    Volume 22, Issue 5/6

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

    Volume 22, Issue 4

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

    Volume 22, Issue 3

    235 -- 246Dexter Kozen, Susan Landau, Richard Zippel. Decomposition of Algebraic Functions
    247 -- 277Takeshi Shimoyama, Kazuhiro Yokoyama. Localization and Primary Decomposition of Polynomial Ideals
    279 -- 314Jordi Levy, Jaume Agustí-Cullell. Bi-Rewrite Systems
    315 -- 344Manfred Schmidt-Schauß. Decidability of Unification in the Theory of One-Sided Distributivity and a Multiplicative Unit
    345 -- 354Jun Zhang. Symbolic Computation on Complex Polynomial Solution of Differential Equations

    Volume 22, Issue 2

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

    Volume 22, Issue 1

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