KIT | KIT-Bibliothek | Impressum | Datenschutz

A completion-based method for adding equality to free variable semantic tableaux

Beckert, Bernhard



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Publikationsjahr 1993
Sprache Englisch
Identifikator KITopen-ID: 128993
Erscheinungsvermerk In: Proceedings of the 2nd Workshop on Theorem Proving with Analytic Tableaux and Related Methods, Marseille, France 1993. Ed.: D. Basin. Saarbruecken 1993. (Technical report. Max-Planck-Institut fuer Informatik. 213.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page