DFKI Logo

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

de

Publications

Search narrowed by:

Authors: Michael Tepp Remove all filters
Displaying results 1 to 1 of 1.

Hans-Jürgen Bürckert; Alexander Herold; D. Kapur; Jörg Siekmann; Mark E. Stickel; Michael Tepp; H. Zhang

Opening the AC-Unification Race

Universität Kaiserslautern, SEKI Report, Vol. SR-88-11, 1988.

To the publication

Follow us on:

Editor

Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI)

Trippstadter Str. 122
67663 Kaiserslautern
Germany

Phone: +49 631 20575 0

Newsletter

View all

Locations

© DFKI, 2023

DFKI Logo

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

© DFKI, 2023