KIT | KIT-Bibliothek | Impressum

Short conjunctive normal forms in finitely valued logics

Hähnle, Reiner



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Zeitschriftenaufsatz
Jahr 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