Publikation

On the Solvability of Equational Problems

Hans-Jürgen Bürckert; Manfred Schmidt-Schauß

Universität Kaiserslautern, SEKI Report, Vol. SR-89-07, 1989.

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