Grobner bases, Wu-Ritt algorithm and logical theories

Ferro A, GALLO G.

January, 1987

Publication

Proceedings of the 5th international conference, AAECC-5 on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes