Publikation

Some relationship Between Unification, Restricted Unification, and Matching

Hans-Jürgen Bürckert

In: Jörg Siekmann (Hrsg.). Proceedings of 8th International Conference on Automated Deduction (CADE-86). International Conference on Automated Deduction (CADE-1986) 8th July 27-August 1 Oxford United Kingdom Seiten 514-524 Lecture Notes in Computer Science (LNCS) 230 Springer 1986.

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