Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD) |
Publikationstyp | Zeitschriftenaufsatz |
Publikationsjahr | 2001 |
Sprache | Englisch |
Identifikator | ISSN: 0039-3215 KITopen-ID: 30552001 |
Erschienen in | Studia logica |
Verlag | Springer |
Band | 69 |
Heft | 1 |
Seiten | 59-96 |