KIT | KIT-Bibliothek | Impressum | Datenschutz

Narrowing strategies for arbitrary canonical systems

Bockmayr, Alexander; Krischer, Stefan; Werner, Andreas



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Zeitschriftenaufsatz
Publikationsjahr 1995
Sprache Englisch
Identifikator KITopen-ID: 271195
Erscheinungsvermerk Fundamenta informaticae 24 (1995) H. 1/2 S. 125-156.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page