KIT | KIT-Bibliothek | Impressum
Open Access Logo
§
Volltext
URN: urn:nbn:de:swb:90-AAA2301963

A-ordered tableaux

Haehnle, Reiner; Klingenbeck, Stefan



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Zeitschriftenaufsatz
Jahr 1996
Sprache Deutsch
Identifikator ISSN: 0955-792X
KITopen ID: 230196
Erschienen in Journal of Logic and Computation
Band 6
Seiten 819 - 834
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page