KIT | KIT-Bibliothek | Impressum

Linear time computable problems and first-order descriptions

Seese, Detlef



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Zeitschriftenaufsatz
Jahr 1996
Sprache Englisch
Identifikator KITopen ID: 273596
Erscheinungsvermerk Math. struct. in comput. sci. 6 (1996) S. 505-526.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page