KIT | KIT-Bibliothek | Impressum | Datenschutz

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
Publikationsjahr 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