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: 2021 | 2007 | 2006 | 2005 | 2004
Anzahl der Einträge: 19.

2021

Kohlenbach, Ulrich (2021)
Proof-theoretic uniform boundedness and bounded collection principles and countable Heine–Borel compactness.
In: Archive for Mathematical Logic, 60 (7-8)
doi: 10.1007/s00153-021-00771-w
Artikel, Bibliographie

2007

Kohlenbach, Ulrich (2007)
Effective bounds from proofs in abstract functional analysis.
In: New Computational Paradigms : Changing Conceptions of What is Computable
Buchkapitel, Bibliographie

Kohlenbach, Ulrich (2007)
Proof interpretations and the computational content of proof in mathematics.
In: Bulletin of the European Association for Theoretical Computer Science EATCS, 93
Artikel, Bibliographie

Kohlenbach, Ulrich (2007)
Recent uses of proof theory in nonlinear analysis and geodesic geometry (abstract).
Konferenzveröffentlichung, Bibliographie

Kohlenbach, Ulrich ; Streicher, Thomas (2007)
Shoenfield is Goedel after Krivine.
In: Mathematical Logic Quarterly : MLQ., 53
Artikel, Bibliographie

Kohlenbach, Ulrich ; Leustean, Laurentiu (2007)
The approximate fixed point property in product spaces.
In: Nonlinear Analysis Series A: Theory, Methods & Applications, 66
Artikel, Bibliographie

2006

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

Kohlenbach, Ulrich (2006)
A logical uniform boundedness principie for abstract metric and hyperbolic spaces.
In: Electronic Notes in Theoretical Computer Science, 165
Artikel, Bibliographie

2005

Kohlenbach, Ulrich ; Leustean, Laurentiu (2005)
Approximate fixed point property in product spaces.
Konferenzveröffentlichung, Bibliographie

Kohlenbach, Ulrich ; Leustean, Laurentiu (2005)
Approximate fixed points of nonexpansive functions in product spaces.
Konferenzveröffentlichung, Bibliographie

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

Kohlenbach, Ulrich (2005)
Proof mining: application of proof theory to analysis.
Konferenzveröffentlichung, Bibliographie

Kohlenbach, Ulrich (2005)
Reverse mathematics in higher types.
In: Reverse mathematics
Buchkapitel, Bibliographie

Kohlenbach, Ulrich (2005)
Some Logical Metatheorems with Applications in Functional Analysis.
In: Transactions American Mathethematical Society, 357
Artikel, Bibliographie

Kohlenbach, Ulrich (2005)
Some computational aspects of metric fixed point theory.
In: Nonlinear Analysis, 61
Artikel, Bibliographie

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

2004

Kohlenbach, Ulrich ; Lambov, Branimir (2004)
Bounds on iterations of asymptotically quasi-non-expansive mappings.
Konferenzveröffentlichung, Bibliographie

Akama, Yohij ; Berardi, Stefano ; Hayashi, Susumu ; Kohlenbach, Ulrich (2004)
An arithmetical hierarchy of the law of excluded middle and related principles.
Konferenzveröffentlichung, Bibliographie

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