KIT | KIT-Bibliothek | Impressum | Datenschutz

Fast subsumption checks using anti-links

Ramesh, Anavai; Beckert, Bernhard; Haehnle, Reiner; Murray, Neil



Seitenaufrufe: 14
seit 15.05.2018
Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Zeitschriftenaufsatz
Jahr 1997
Sprache Deutsch
Identifikator KITopen-ID: 74397
Erscheinungsvermerk J. of automated reasoning 18 (1997) H. 1 S. 47-84.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page