TU Darmstadt
ULB
TUbiblio
Browse by Person
Up a level |
Number of items: 1.
Hernest, Mircea-Dan ; Kohlenbach, Ulrich (2005)
A complexity analysis of functional interpretations.
In: Theoretical Computer Science, 338
Article, Bibliographie