KIT | KIT-Bibliothek | Impressum | Datenschutz
Open Access Logo
§
Volltext
URN: urn:nbn:de:swb:90-AAA741979

Restart tableaux with selection function

Pape, Christian; Haehnle, Reiner



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Jahr 1997
Sprache Englisch
Identifikator KITopen-ID: 74197
Erscheinungsvermerk In: Computational logic and proof theory. KGC '97. Ed.: G. Gottlob. Berlin 1997. S. 219-232. (Lecture notes in computer science. 1289.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page