Universität Kaiserslautern SEKI Reports SR-87-20 1987.
Zur PublikationIn: 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.
Zur PublikationDeutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
Fax: +49 631 20575 5030
© DFKI, 2022