Transformations between signed and classical clause logic
Beckert, Bernhard
; Haehnle, Reiner; Manya, Felip
; Haehnle, Reiner; Manya, Felip| Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD) |
| Publikationstyp | Buchaufsatz |
| Publikationsjahr | 1998 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 182398 |
| Erscheinungsvermerk | In: Proceedings of the 1st International Workshop on Labelled Deduction, Freiburg 1998. S. 1-15. |