KIT | KIT-Bibliothek | Impressum

Herbrand's theorem for nonstandard inference operations

Dix, Jürgen; Kummer, Martin



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Zeitschriftenaufsatz
Jahr 1994
Sprache Englisch
Identifikator KITopen ID: 287394
Erscheinungsvermerk J. of logic and comput. 4 (1994) H. 2 S. 143-156.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page