KIT | KIT-Bibliothek | Impressum | Datenschutz

A model generation style completeness proof for constraint tableaux with superposition

Giese, Martin



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Publikationsjahr 2002
Sprache Englisch
Identifikator KITopen-ID: 31052002
Erscheinungsvermerk In: Automated reasoning with analytic tableaux and related methods. TABLEAUX 2002. Ed.: U. Egly. Berlin 2002. S. 130-144. (Lecture notes in computer science. 2381.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page