Skip to main content Skip to main navigation

Publikation

On Equational Theories, Unification, and Decidability

Hans-Jürgen Bürckert; Alexander Herold; Manfred Schmidt-Schauß
In: Pierre Lescanne (Hrsg.). Proceedings of 2nd International Conference on Rewriting Techniques and Applications. International Conference on Rewriting Techniques and Applications (RTA-2), 2nd, May 25-27, Bordeaux, France, Pages 204-215, Lecture Notes in Computer Science (LNCS), Vol. 256, Springer, 1987.