Publikation
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 Seiten 204-215 Lecture Notes in Computer Science (LNCS) 256 Springer 1987.
@inproceedings{pub2364, author = { Bürckert, Hans-Jürgen and Herold, Alexander and Schmidt-Schauß, Manfred }, editor = { Lescanne, Pierre }, title = {On Equational Theories, Unification, and Decidability}, booktitle = {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}, series = {Lecture Notes in Computer Science (LNCS)}, year = {1987}, volume = {256}, pages = {204--215}, publisher = {Springer} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2022