TU Darmstadt / ULB / TUbiblio

Type systems for polynomial time computation

Hofmann, Martin :
Type systems for polynomial time computation.
Technische Univ. Darmstadt , Darmstadt
[Habilitation] , (1999) , Darmstadt: 1999. III, 130 S

Typ des Eintrags: Habilitation
Erschienen: 1999
Autor(en): Hofmann, Martin
Titel: Type systems for polynomial time computation
Sprache: Englisch
Ort: Darmstadt
Verlag: Technische Univ. Darmstadt
Auflage: Darmstadt: 1999. III, 130 S
Kollation: 130 S
Fachbereich(e)/-gebiet(e): 04 Fachbereich Mathematik
Hinterlegungsdatum: 19 Nov 2008 15:54
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen