@article{Chistov/96,
AUTHOR = {Chistov, Alexander L.},
TITLE = {Polynomial-time computation of the dimension of algebraic varieties in zero-characteristic},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {1},
PAGES = {1-25},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Pritchard/96,
AUTHOR = {Pritchard, F. Leon},
TITLE = {The ideal membership problem in non-commutative polynomial rings},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {1},
PAGES = {27-48},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Fernandez/96,
AUTHOR = {Fern{\'{a}}ndez, Maribel},
TITLE = {$AC$ complement problems: Satisfiability and negation elimination},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {1},
PAGES = {49-82},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Gonzalez-Vega/96,
AUTHOR = {Gonzalez-Vega, Laureano},
TITLE = {Applying quantifier elimination to the Birkhoff interpolation problem},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {1},
PAGES = {83-103},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Tummarakota-Lieh/96,
AUTHOR = {Tummarakota, Srinivas and Lieh, Junghsen},
TITLE = {Symbolic finite element modeling of structural systems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {1},
PAGES = {105-119},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Egly/96,
AUTHOR = {Egly, Uwe},
TITLE = {On different structure-preserving translations to normal form},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {2},
PAGES = {121-142},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Marchiori/96,
AUTHOR = {Marchiori, Massimo},
TITLE = {On the modularity of normal forms in rewriting},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {2},
PAGES = {143-154},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Cremanns-Otto/96,
AUTHOR = {Cremanns, Robert and Otto, Friedrich},
TITLE = {For groups the property of having finite derivation type is equivalent to the homological finiteness condition $FP_3$},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {2},
PAGES = {155-177},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Ulmer-Weil/96,
AUTHOR = {Ulmer, Felix and Weil, Jacques-Arthur},
TITLE = {Note on Kovacic's algorithm},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {2},
PAGES = {179-200},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Curtis-Hasan/96,
AUTHOR = {Curtis, R.T. and Hasan, Z.},
TITLE = {Symmetric representation of the elements of the Janko Group $J_1$},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {2},
PAGES = {201-214},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Buekenhout-Leemans/96,
AUTHOR = {Buekenhout, Francis and Leemans, Dimitri},
TITLE = {On the list of finite primitive permutation groups of degree $\le$ 50},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {2},
PAGES = {215-225},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Aschenwald-Siegl-Tichy/96,
AUTHOR = {Aschenwald, Dieter and Siegl, Thomas and Tichy, Robert F.},
TITLE = {MAPinsure --- A MAPLE package for life insurance},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {2},
PAGES = {227-234},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Kozen-Landau-Zippel/96,
AUTHOR = {Kozen, Dexter and Landau, Susan and Zippel, Richard},
TITLE = {Decomposition of algebraic functions},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {3},
PAGES = {235-246},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Shimoyama-Yokoyama/96,
AUTHOR = {Shimoyama, Takeshi and Yokoyama, Kazuhiro},
TITLE = {Localization and primary decomposition of polynomial ideals},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {3},
PAGES = {247-277},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Levy-Agusti/96,
AUTHOR = {Levy, Jordi and Agust{\'{i}}, Jaume},
TITLE = {Bi-rewrite systems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {3},
PAGES = {279-314},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Schmidt-Schauss/96,
AUTHOR = {Schmidt-Schau{\"ss}, Manfred},
TITLE = {Decidability of unification in the theory of one-sided distributivity and a multiplicative unit},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {3},
PAGES = {315-344},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Zhang/96b,
AUTHOR = {Zhang, Jun},
TITLE = {Symbolic computation on complex polynomial solution of differential equations},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {3},
PAGES = {345-354},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Traverso/96,
AUTHOR = {Traverso, Carlo},
TITLE = {Hilbert functions and the Buchberger algorithm},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {4},
PAGES = {355-376},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Pan/96a,
AUTHOR = {Pan, Victor Y.},
TITLE = {Computing $x^m$ mod $p(x)$ and an application to splitting a polynomial into factors over a fixed disc},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {4},
PAGES = {377-380},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Salinier-Strandh/96,
AUTHOR = {Salinier, Bruno and Strandh, Robert},
TITLE = {Efficient simulation of forward-branching systems with constructor systems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {4},
PAGES = {381-399},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Qian-Wang/96,
AUTHOR = {Qian, Zhenyu and Wang, Kang},
TITLE = {Modular higher-order equational preunification},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {4},
PAGES = {401-424},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Gaal-Pohst/96,
AUTHOR = {Ga{\'{a}}l, Istv{\'{a}}n and Pohst, Michael},
TITLE = {On the resolution of index form equations in sextic fields with an imaginary quadratic subfield},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {4},
PAGES = {425-434},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Mrozek/96,
AUTHOR = {Mrozek, Marian},
TITLE = {Rigorous error analysis of numerical algorithms via symbolic computations},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {4},
PAGES = {435-458},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{de_Jager-Asch/96,
AUTHOR = {de Jager, Bram and Asch, Bram van},
TITLE = {Symbolic solutions for a class of partial differential equations},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {4},
PAGES = {459-468},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Fisher-Kono-Orgun/96,
AUTHOR = {Fisher, M. and Kono, S. and Orgun, M.A.},
TITLE = {Editorial: Executable temporal logics},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {5-6},
PAGES = {469-474},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Saraswat-Jagadeesan-Gupta/96,
AUTHOR = {Saraswat, Vijay and Jagadeesan, Radha and Gupta, Vineet},
TITLE = {Timed default concurrent constraint programming},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {5-6},
PAGES = {475-520},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Caleiro-Saake-Sernadas/96,
AUTHOR = {Caleiro, C. and Saake, G. and Sernadas, A.},
TITLE = {Deriving liveness goals from temporal logic specifications},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {5-6},
PAGES = {521-553},
YEAR = {1996},
KEYWORDS = {1},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Fruhwirth/96,
AUTHOR = {Fr{\"u}hwirth, Thom},
TITLE = {Temporal annotated constraint logic programming},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {5-6},
PAGES = {555-583},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Ahmed-Venkatesh/96,
AUTHOR = {Ahmed, Mohsin and Venkatesh, G.},
TITLE = {Dense time logic programming},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {5-6},
PAGES = {585-613},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Engelfriet-Treur/96,
AUTHOR = {Engelfriet, Joeri and Treur, Jan},
TITLE = {Executable temporal logic for non-monotonic reasoning},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {5-6},
PAGES = {615-625},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Fisher/96a,
AUTHOR = {Fisher, Michael},
TITLE = {Temporal semantics for concurrent MetateM},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {5-6},
PAGES = {627-648},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Gagne-Plaice/96,
AUTHOR = {Gagn{\'{e}}, Jean-Raymond and Plaice, John},
TITLE = {A non-standard temporal deductive database system},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {5-6},
PAGES = {649-664},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Mota-Robertson-Smaill/96,
AUTHOR = {Mota, Edjard and Robertson, David and Smaill, Alan},
TITLE = {NatureTime: Temporal granularity in simulation of ecosystems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {5-6},
PAGES = {665-698},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Liu-Orgun/96,
AUTHOR = {Liu, Chuchang and Orgun, Mehmet A.},
TITLE = {Dealing with multiple granularity of time in temporal logic programming},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {5-6},
PAGES = {699-720},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Orgun-Faustini/96,
AUTHOR = {Orgun, Mehmet A. and Faustini, Anthony A.},
TITLE = {The Chronolog familiy of languages},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {5-6},
PAGES = {722-724},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Schafer-Brzoska/96,
AUTHOR = {Sch{\"a}fer, Karl and Brzoska, Christoph},
TITLE = {``F-Limette'' fuzzy logic programming integrating metric temporal extensions},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {5-6},
PAGES = {725-727},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Fisher-Kellett/96,
AUTHOR = {Fisher, Michael and Kellett, Adam},
TITLE = {The concurrent MetateM system},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {5-6},
PAGES = {728-729},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Moszkowski/96,
AUTHOR = {Moszkowski, Ben},
TITLE = {The programming language Tempura},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {5-6},
PAGES = {730-733},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Kono-Fujita/96,
AUTHOR = {Kono, Shinji and Fujita, M.},
TITLE = {The Tokio system},
JOURNAL = {J. Symbolic Computation},
VOLUME = {22},
NUMBER = {5-6},
PAGES = {734-735},
YEAR = {1996},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}