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