TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 3.

Kohlenbach, Ulrich and Gerhardy, Philipp (2006):
Strongly uniform bounds from semi-constructive proofs.
141, In: Annals of Pure and Applied Logic, pp. 89-107, [Article]

Gerhardy, Philipp and Kohlenbach, Ulrich (2005):
Extracting Herbrand disjunctions by functional interpretation.
44, In: Archive for Mathematical Logic, pp. 633-644, [Article]

Gerhardy, Philipp and Kohlenbach, Ulrich (2005):
General logical metatheorems for functional analysis.
21, In: BRICS report series : RS / Basic Research in Computer Science (BRICS), Department of Computer Science, University of Aarhus. - (ISSN: 0909-0878), pp. 65 S., [Article]

This list was generated on Sat Jan 18 01:47:31 2020 CET.