TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Springe zu: 2006 | 2005
Anzahl der Einträge: 3.

2006

Kohlenbach, Ulrich ; Gerhardy, Philipp (2006)
Strongly uniform bounds from semi-constructive proofs.
In: Annals of Pure and Applied Logic, 141
Artikel, Bibliographie

2005

Gerhardy, Philipp ; Kohlenbach, Ulrich (2005)
Extracting Herbrand disjunctions by functional interpretation.
In: Archive for Mathematical Logic, 44
Artikel, Bibliographie

Gerhardy, Philipp ; Kohlenbach, Ulrich (2005)
General logical metatheorems for functional analysis.
In: BRICS report series : RS / Basic Research in Computer Science (BRICS), Department of Computer Science, University of Aarhus. - (ISSN: 0909-0878), 21
Artikel, Bibliographie

Diese Liste wurde am Tue Mar 26 03:02:52 2024 CET generiert.