TU Darmstadt / ULB / TUbiblio

Type systems for polynomial time computation

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

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
Edition: Darmstadt: 1999. III, 130 S
Kollation: 130 S
Fachbereich(e)/-gebiet(e): Fachbereich Mathematik
Hinterlegungsdatum: 19 Nov 2008 15:54
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen