Publikation

Solving Disequations in Equational Theories

Hans-Jürgen Bürckert

In: E. L. Lusk, R. Overbeek (Hrsg.). Proceedings of 9th International Conference on Automated Deduction. International Conference on Automated Deduction (CADE-9) May 23-26 Argonne IL United States Seiten 517-526 Lecture Notes in Computer Science (LNCS) 310 Springer 1988.

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