Volume 22, Number 1, July 1996
export record as
dblp key:
Alexander L. Chistov :
Polynomial-Time Computation of the Dimension of Algebraic Varieties in Zero-Characteristic.
1-25
export record as
dblp key:
F. Leon Pritchard :
The Ideal Membership Problem in Non-Commutative Polynomial Rings.
27-48
export record as
dblp key:
Maribel Fernández :
AC Complement Problems: Satisfiability and Negation Elimination.
49-82
export record as
dblp key:
journals/jsc/Gonzalez-Vega96 export record as
dblp key:
journals/jsc/TummarakotaL96
Volume 22, Number 2, August 1996
export record as
dblp key:
Uwe Egly :
On Different Structure-Preserving Translations to Normal Form.
121-142
export record as
dblp key:
export record as
dblp key:
Robert Cremanns ,
Friedrich Otto :
For Groups the Property of Having Finite Derivation Type is Equivalent to the Homological Finiteness Condition FP_3.
155-177
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/jsc/BuekenhoutL96 export record as
dblp key:
journals/jsc/AschenwaldST96
Volume 22, Number 3, September 1996
export record as
dblp key:
export record as
dblp key:
journals/jsc/ShimoyamaY96 export record as
dblp key:
export record as
dblp key:
journals/jsc/Schmidt-Schauss96 Manfred Schmidt-Schauß :
Decidability of Unification in the Theory of One-Sided Distributivity and a Multiplicative Unit.
315-344
export record as
dblp key:
Jun Zhang :
Symbolic Computation on Complex Polynomial Solution of Differential Equations.
345-354
Volume 22, Number 4, October 1996
export record as
dblp key:
Carlo Traverso :
Hilbert Functions and the Buchberger Algorithm.
355-376
export record as
dblp key:
Victor Y. Pan :
Computing x^m mod p(x) and an Application to Splitting a Polynomial Into Factors Over a Fixed Disc.
377-380
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
István Gaál ,
Michael Pohst :
On the Resolution of Index form Equations in Sextic Fields with an Imaginary Quadratic Subfield.
425-434
export record as
dblp key:
Marian Mrozek :
Rigorous Error Analysis of Numerical Algorithms via Symbolic Computations.
435-458
export record as
dblp key:
Volume 22, Number 5/6, November/December 1996 Executable Temporal Logics
export record as
dblp key:
journals/jsc/SaraswatJG96 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/jsc/EngelfrietT96 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
