KIT | KIT-Bibliothek | Impressum | Datenschutz

Proof transformations from search-oriented into interaction-oriented tableau calculi

Stenz, Gernot; Ahrendt, Wolfgang; Beckert, Bernhard



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Zeitschriftenaufsatz
Jahr 1999
Sprache Englisch
Identifikator KITopen ID: 319799
Erscheinungsvermerk J. of univers. comput. sci. 5 (1999) H. 3 S. 113-134.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page