KIT | KIT-Bibliothek | Impressum | Datenschutz

Restart tableaux with selection function

Pape, Christian; Haehnle, Reiner

Open Access Logo


Volltext §
DOI: 10.5445/IR/74197
Seitenaufrufe: 5
seit 15.05.2018
Downloads: 99
seit 07.03.2009
Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Jahr 1997
Sprache Englisch
Identifikator urn:nbn:de:swb:90-AAA741979
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