Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD) |
Publikationstyp | Buchaufsatz |
Publikationsjahr | 1993 |
Sprache | Englisch |
Identifikator | ISBN: 3-540-57184-1 ISSN: 0302-9743 urn:nbn:de:swb:90-AAA1290937 KITopen-ID: 129093 |
Erschienen in | Computational logic and proof theory. Ed.: G. Gottlob |
Verlag | Springer Verlag |
Seiten | 108 - 119 |
Serie | Lecture notes in computer science ; 713 |