KIT | KIT-Bibliothek | Impressum

Effective search problems

Kummer, Martin; Stephan, Frank



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Zeitschriftenaufsatz
Jahr 1994
Sprache Deutsch
Identifikator KITopen ID: 287594
Erscheinungsvermerk Math. logic quart. 40 (1994) H. 2 S. 224-236.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page