| Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsjahr | 1996 |
| Sprache | Deutsch |
| Identifikator | ISSN: 1166-3081 urn:nbn:de:swb:90-AAA1537967 KITopen-ID: 153796 |
| Erschienen in | Journal of Applied Non-classical Logics |
| Verlag | Lavoisier |
| Band | 6 |
| Heft | 1 |
| Seiten | 49 - 69 |