KIT | KIT-Bibliothek | Impressum

Fast subsumption checks using anti-links

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



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