KIT | KIT-Bibliothek | Impressum | Datenschutz

A-ordered tableaux

Haehnle, Reiner; Klingenbeck, Stefan

Open Access Logo


Volltext §
DOI: 10.5445/IR/230196
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Zeitschriftenaufsatz
Publikationsjahr 1996
Sprache Deutsch
Identifikator ISSN: 0955-792X
urn:nbn:de:swb:90-AAA2301963
KITopen-ID: 230196
Erschienen in Journal of Logic and Computation
Verlag Oxford University Press (OUP)
Band 6
Seiten 819 - 834
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page