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.
93, In: Bulletin of the European Association for Theoretical Computer Science EATCS, 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 and Streicher, Thomas (2007):
Shoenfield is Goedel after Krivine.
53, In: Mathematical Logic Quarterly : MLQ., pp. 176-179, [Article]

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

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]

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

Kohlenbach, Ulrich and 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 and 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 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]

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.
357, In: Transactions American Mathethematical Society, pp. 89-128, [Article]

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

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

Kohlenbach, Ulrich and 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 and Berardi, Stefano and Hayashi, Susumu and 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 Sat Jan 25 01:15:07 2020 CET.