KIT | KIT-Bibliothek | Impressum | Datenschutz

Fast subsumption checks using anti-links

Ramesh, Anavai; Beckert, Bernhard ORCID iD icon; Haehnle, Reiner; Murray, Neil


Zugehörige Institution(en) am KIT Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Zeitschriftenaufsatz
Publikationsjahr 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