KIT | KIT-Bibliothek | Impressum | Datenschutz

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

Stenz, Gernot; Ahrendt, Wolfgang; Beckert, Bernhard ORCID iD icon


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