Period of time： 2004年3期
Publisher： Academic Press
Founded in： 1985
Total resources： 48
ISSN： 0747-7171
Subject： TP Automation Technology , Computer Technology
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Journal of Symbolic Computation,volume 21,issue 3
Menu
Normalized Rewriting: an Alternative to Rewriting modulo a Set of Equations
Journal of Symbolic Computation,volume 21,issue 3 , Vol. 21, Iss. 3, 1996-03 , pp.
Access to resources
Recommend
A Remark on Infinite Matching vs Infinite Unification
By Intrigila B.,Zilli M.V. in (1996)
Journal of Symbolic Computation,volume 21,issue 3 , Vol. 21, Iss. 3, 1996-03 , pp.Memory Mangement in the PoSSo Solver
By Attardi G.,Flagella T. in (1996)
Journal of Symbolic Computation,volume 21,issue 3 , Vol. 21, Iss. 3, 1996-03 , pp.Improved Techniques for Factoring Univariate Polynomials
By Collins G.E.,Encarnacion M.J. in (1996)
Journal of Symbolic Computation,volume 21,issue 3 , Vol. 21, Iss. 3, 1996-03 , pp.Implicitization of Rational Parametric Surfaces
By Fix G.,Hsu C.P.,Luo T. in (1996)
Journal of Symbolic Computation,volume 21,issue 3 , Vol. 21, Iss. 3, 1996-03 , pp.Construction of Finitely Presented Lie Algebras and Superalgebras
By Gerdt V.P.,Kornyak V.V. in (1996)
Journal of Symbolic Computation,volume 21,issue 3 , Vol. 21, Iss. 3, 1996-03 , pp.Calculating Invariant Rings of Finite Groups over Arbitrary Fields
Journal of Symbolic Computation,volume 21,issue 3 , Vol. 21, Iss. 3, 1996-03 , pp.Solving Discriminant Form Equations Via Unit Equations
Journal of Symbolic Computation,volume 21,issue 3 , Vol. 21, Iss. 3, 1996-03 , pp.