@article{Bachmair-Dershowitz/88,
AUTHOR = {Bachmair, Leo and Dershowitz, Nachum},
TITLE = {Critical pair criteria for completion},
JOURNAL = {J. Symbolic Computation},
VOLUME = {6},
NUMBER = {1},
PAGES = {1-18},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Kapur-Musser-Narendran/88,
AUTHOR = {Kapur, Deepak and Musser, David R. and Narendran, Paliath},
TITLE = {Only prime superpositions need be considered in the Knuth-Bendix completion procedure},
JOURNAL = {J. Symbolic Computation},
VOLUME = {6},
NUMBER = {1},
PAGES = {19-36},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Kandri-Rody-Kapur/88,
AUTHOR = {Kandri-Rody, Abdelilah and Kapur, Deepak},
TITLE = {Computing a Gr{\"o}bner basis of a polynomial ideal over a Euclidean domain},
JOURNAL = {J. Symbolic Computation},
VOLUME = {6},
NUMBER = {1},
PAGES = {37-57},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Robertson/88,
AUTHOR = {Robertson, Edmund F.},
TITLE = {Tietze transformations with weighted substring search},
JOURNAL = {J. Symbolic Computation},
VOLUME = {6},
NUMBER = {1},
PAGES = {59-64},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Myers-Gokhale/88,
AUTHOR = {Myers, Thomas J. and Gokhale, Maya B.},
TITLE = {Parallel scheduling of recursively defined arrays},
JOURNAL = {J. Symbolic Computation},
VOLUME = {6},
NUMBER = {1},
PAGES = {65-81},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Cantone-Ghelfo-Omodeo/88,
AUTHOR = {Cantone, Domenico and Ghelfo, Susanna and Omodeo, Eugenio},
TITLE = {The automation of syllogistic --- I. Syllogistic normal forms},
JOURNAL = {J. Symbolic Computation},
VOLUME = {6},
NUMBER = {1},
PAGES = {83-98},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Wrathall/88,
AUTHOR = {Wrathall, C.},
TITLE = {The word problem for free partially commutative groups},
JOURNAL = {J. Symbolic Computation},
VOLUME = {6},
NUMBER = {1},
PAGES = {99-104},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Michler/88,
AUTHOR = {Michler, Gerhard O.},
TITLE = {An algorithm for determining the simplicity of a modular group representation},
JOURNAL = {J. Symbolic Computation},
VOLUME = {6},
NUMBER = {1},
PAGES = {105-111},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Dixmier-Lazard/88,
AUTHOR = {Dixmier, J. and Lazard, D.},
TITLE = {Minimum number of fundamental invariants for the binary form of degree 7},
JOURNAL = {J. Symbolic Computation},
VOLUME = {6},
NUMBER = {1},
PAGES = {113-115},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Ollongren/88,
AUTHOR = {Ollongren, Alexander},
TITLE = {On a particular restricted five-body problem --- An analysis with computer algebra},
JOURNAL = {J. Symbolic Computation},
VOLUME = {6},
NUMBER = {1},
PAGES = {117-126},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Davenport/88,
AUTHOR = {Davenport, J.H.},
TITLE = {Computer algebra applied to itself},
JOURNAL = {J. Symbolic Computation},
VOLUME = {6},
NUMBER = {1},
PAGES = {127-132},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Bayer-Stillman/88,
AUTHOR = {Bayer, David and Stillman, Michael},
TITLE = {On the complexity of computing Syzygies},
JOURNAL = {J. Symbolic Computation},
VOLUME = {6},
NUMBER = {2-3},
PAGES = {135-147},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Shtokhamer/88,
AUTHOR = {Shtokhamer, R.},
TITLE = {Lifting canonical algorithms for a ring $R$ to the ring $R[x]$},
JOURNAL = {J. Symbolic Computation},
VOLUME = {6},
NUMBER = {2-3},
PAGES = {169-181},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Bayer-Morrison/88,
AUTHOR = {Bayer, David and Morrison, Ian},
TITLE = {Standard bases and geometric invariant theory --- I. Initial ideals and state polytopes},
JOURNAL = {J. Symbolic Computation},
VOLUME = {6},
NUMBER = {2-3},
PAGES = {209-217},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Carra_Ferro/88,
AUTHOR = {Carr{\`a} Ferro, Giuseppa},
TITLE = {Gr{\"o}bner bases and Hilbert schemes --- I.},
JOURNAL = {J. Symbolic Computation},
VOLUME = {6},
NUMBER = {2-3},
PAGES = {219-230},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Kredel-Weispfenning/88,
AUTHOR = {Kredel, Heinz and Weispfenning, Volker},
TITLE = {Computing dimension and independent sets for polynomial ideals},
JOURNAL = {J. Symbolic Computation},
VOLUME = {6},
NUMBER = {2-3},
PAGES = {231-247},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Giusti/88,
AUTHOR = {Giusti, Marc},
TITLE = {Combinatorial dimension theory of algebraic varieties},
JOURNAL = {J. Symbolic Computation},
VOLUME = {6},
NUMBER = {2-3},
PAGES = {249-265},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Gebauer-Moller/88,
AUTHOR = {Gebauer, R{\"u}diger and M{\"o}ller, H. Michael},
TITLE = {On an installation of Buchberger's algorithm},
JOURNAL = {J. Symbolic Computation},
VOLUME = {6},
NUMBER = {2-3},
PAGES = {275-286},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Miola-Mora/88,
AUTHOR = {Miola, A. and Mora, T.},
TITLE = {Constructive lifting in graded structures: A unified view of Buchberger and Hensel methods},
JOURNAL = {J. Symbolic Computation},
VOLUME = {6},
NUMBER = {2-3},
PAGES = {305-322},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Brundu-Rossi/88,
AUTHOR = {Brundu, Michela and Rossi, Fabio},
TITLE = {On the computation of generalized standard bases},
JOURNAL = {J. Symbolic Computation},
VOLUME = {6},
NUMBER = {2-3},
PAGES = {323-343},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Moller/88,
AUTHOR = {M{\"o}ller, H. Michael},
TITLE = {On the construction of Gr{\"o}bner bases using Syzygies},
JOURNAL = {J. Symbolic Computation},
VOLUME = {6},
NUMBER = {2-3},
PAGES = {345-359},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Apel-Lassner/88,
AUTHOR = {Apel, J. and Lassner, W.},
TITLE = {An extension of Buchberger's algorithm and calculations in enveloping fields of Lie algebras},
JOURNAL = {J. Symbolic Computation},
VOLUME = {6},
NUMBER = {2-3},
PAGES = {361-370},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Gateva-Ivanova-Latyshev/88,
AUTHOR = {Gateva-Ivanova, Tatiana and Latyshev, Victor},
TITLE = {On recognisable properties of associative algebras},
JOURNAL = {J. Symbolic Computation},
VOLUME = {6},
NUMBER = {2-3},
PAGES = {371-388},
YEAR = {1988},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}