KIT | KIT-Bibliothek | Impressum

An approach to goal driven strategies for the Knuth-Bendix completion procedure

Brzoska, Christoph



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Jahr 1989
Sprache Englisch
Identifikator KITopen ID: 255289
Erscheinungsvermerk In: 1st German Workshop Term Rewriting: Theory and Applications. Ed.: J. Mueller. Kaiserslautern: Univ. 1989. (SEKI Report. 89,02.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page