Publikation

On Equational Theories

Hans-Jürgen Bürckert, Alexander Herold, Manfred Schmidt-Schauß

Universität Kaiserslautern SEKI Reports SR-87-20 1987.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence