Publikation
Hans-Jürgen Bürckert; A. Herold; M. Schmidt-Schauß
In: Journal of Symbolic Computation, Vol. 8, Special Issue on Unification, Pages 3-49, Elsevier, 1989.
@article{pub1840, author = { Bürckert, Hans-Jürgen and Herold, A. and Schmidt-Schauß, M. }, title = {On Equational Theories, Unification, and (Un)decidability}, year = {1989}, volume = {8, Special Issue on Unification}, pages = {3--49}, journal = {Journal of Symbolic Computation}, publisher = {Elsevier} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023