TU Darmstadt / ULB / TUbiblio

A complexity analysis of functional interpretations

Hernest, Mircea-Dan ; Kohlenbach, Ulrich (2005)
A complexity analysis of functional interpretations.
In: Theoretical Computer Science, 338
Artikel, Bibliographie

Typ des Eintrags: Artikel
Erschienen: 2005
Autor(en): Hernest, Mircea-Dan ; Kohlenbach, Ulrich
Art des Eintrags: Bibliographie
Titel: A complexity analysis of functional interpretations
Sprache: Englisch
Publikationsjahr: 2005
Titel der Zeitschrift, Zeitung oder Schriftenreihe: Theoretical Computer Science
Jahrgang/Volume einer Zeitschrift: 338
Fachbereich(e)/-gebiet(e): 04 Fachbereich Mathematik
Hinterlegungsdatum: 20 Nov 2008 08:21
Letzte Änderung: 20 Feb 2020 13:24
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen