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: 18.

Kohlenbach, Ulrich (2007):
Effective bounds from proofs in abstract functional analysis.
In: New Computational Paradigms : Changing Conceptions of What is Computable / Hrsg. S. B. Cooper; Hrsg. Benedikt Löwe; Hrsg. Andrea Sorbi. - 1. Ed. - New York, NY : Springer New York, 2007 ISBN: 0-387-36033-6, 1. Ed. - New York, NY, Springer New York, [Book Section]

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, pp. 143-173. [Article]

Kohlenbach, Ulrich (2007):
Recent uses of proof theory in nonlinear analysis and geodesic geometry (abstract).
In: Bulletin of symbolic logic, 13, p. 377, [Conference or Workshop Item]

Kohlenbach, Ulrich ; Streicher, Thomas (2007):
Shoenfield is Goedel after Krivine.
In: Mathematical Logic Quarterly : MLQ., 53, pp. 176-179. [Article]

Kohlenbach, Ulrich ; Leustean, Laurentiu (2007):
The approximate fixed point property in product spaces.
In: Nonlinear Analysis Series A: Theory, Methods & Applications, 66, pp. 806-818. [Article]

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

Kohlenbach, Ulrich (2006):
A logical uniform boundedness principie for abstract metric and hyperbolic spaces.
In: Electronic Notes in Theoretical Computer Science, 165, pp. 81-93. [Article]

Kohlenbach, Ulrich ; Leustean, Laurentiu (2005):
Approximate fixed point property in product spaces.
In: Oberwolfach Report 14/2005, Mathematisches Forschungsinstitut Oberwolfach, Workshop Mathematical Logic: Proof Theory, Type Theory and Constructive Mathematics, March 20-26 2005, s. 797-798, [Conference or Workshop Item]

Kohlenbach, Ulrich ; Leustean, Laurentiu (2005):
Approximate fixed points of nonexpansive functions in product spaces.
In: Mathematics, Algorithms, Proofs <Schloss Dagstuhl,2005> ; Dagstuhl Seminar Proceedings 05021 ; ISSN: 1862-4405, [Conference or Workshop Item]

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

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, pp. 65 S.. [Article]

Kohlenbach, Ulrich (2005):
Proof mining: application of proof theory to analysis.
In: Oberwolfach Report 14/2005, Mathematisches Forschungsinst. Oberwolfach, Workshop ÙMathematical Logic: Proof Theory, Type Theory and Constructive Mathematics", March 20-26, 2005, S.785-787, [Conference or Workshop Item]

Kohlenbach, Ulrich (2005):
Reverse mathematics in higher types.
In: Reverse mathematics 2001 / ed. by Stephen G. Simpson. - Wellesley, Mass. : Assoc. for Symbolic Logic [u.a.], 2005. - S.281-295 (Lecture notes in logic ; 21) ISBN: 1-56881-263-9 ; 1-56881-264-7, Wellesley, Mass., Assoc. for Symbolic Logic [u.a.], [Book Section]

Kohlenbach, Ulrich (2005):
Some Logical Metatheorems with Applications in Functional Analysis.
In: Transactions American Mathethematical Society, 357, pp. 89-128. [Article]

Kohlenbach, Ulrich (2005):
Some computational aspects of metric fixed point theory.
In: Nonlinear Analysis, 61, pp. 823-837. [Article]

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

Kohlenbach, Ulrich ; Lambov, Branimir (2004):
Bounds on iterations of asymptotically quasi-non-expansive mappings.
In: Eds. : Falset, J.G. ; Fuster, E.L.; Sims, B. - Proc. International Conference on Fixed Point Theory and Applications, Valencia 2003, S. 143-172, Yokohama Publ. 2004. ISBN 4-946552-13-8, [Conference or Workshop Item]

Akama, Yohij ; Berardi, Stefano ; Hayashi, Susumu ; Kohlenbach, Ulrich (2004):
An arithmetical hierarchy of the law of excluded middle and related principles.
In: Proc. of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS 2004). - S. 192-201. - IEEE Comp. Soc. Pr. 2004- ISBN 0-7695-2192-4 ; ISSN 1043-6871, [Conference or Workshop Item]

This list was generated on Tue Jan 24 01:33:11 2023 CET.