An Ideal-Theoretic Approach to Work Problems and Unification Problems over Finitely Presented Commutative Algebras

Abdelilah Kandri-Rody, Deepak Kapur, Paliath Narendran. An Ideal-Theoretic Approach to Work Problems and Unification Problems over Finitely Presented Commutative Algebras. In Jean-Pierre Jouannaud, editor, Rewriting Techniques and Applications, First International Conference, RTA-85, Dijon, France, May 20-22, 1985, Proceedings. Volume 202 of Lecture Notes in Computer Science, pages 345-364, Springer, 1985.

Abstract

Abstract is missing.