KIT | KIT-Bibliothek | Impressum | Datenschutz

Short conjunctive normal forms in finitely valued logics

Hähnle, Reiner


Zugehörige Institution(en) am KIT Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Zeitschriftenaufsatz
Publikationsjahr 1994
Sprache Deutsch
Identifikator KITopen-ID: 131194
Erscheinungsvermerk J. of logic and comput. 4 (1994) S. 905-927.
Bemerkung zur Veröffentlichung Sonderdrucknummer 95S150
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page