TU Darmstadt / ULB / TUbiblio

A complexity analysis of functional interpretations

Hernest, Mircea-Dan and Kohlenbach, Ulrich (2005):
A complexity analysis of functional interpretations.
338, In: Theoretical Computer Science, pp. 200-246, [Article]

Item Type: Article
Erschienen: 2005
Creators: Hernest, Mircea-Dan and Kohlenbach, Ulrich
Title: A complexity analysis of functional interpretations
Language: English
Journal or Publication Title: Theoretical Computer Science
Volume: 338
Divisions: 04 Department of Mathematics
Date Deposited: 20 Nov 2008 08:21
License: [undefiniert]
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item