Searching for authors named "Ulrich Kohlenbach" – sorted by Relevance.
36 documents found, showing 1 through 10.
Next 10 →
-
Relative Constructivity
- …Relative constructivity Ulrich Kohlenbach Fachbereich Mathematik J.W. Goethe--Universitat D…
- Cited by 10 (7 self) – Add To MetaCart
-
Proof Theory and Computational Analysis
- … in Computer Science Proof Theory and Computational Analysis Ulrich Kohlenbach BRICS Report Series RS-97…
- Cited by 14 (10 self) – Add To MetaCart
-
On the Uniform Weak König's Lemma
- … Science On the Uniform Weak K onig's Lemma Ulrich Kohlenbach BRICS Report Series RS-99-11 ISSN 0909…
- Cited by 7 (4 self) – Add To MetaCart
-
New Effective Moduli of Uniqueness and Uniform a-Priori Estimates for Constants of Strong Unicity by Logical Analysis of Known Proofs in Best Approximation Theory
- … by logical analysis of known proofs in best approximation theory Ulrich Kohlenbach Fachbereich Mathematik, J…
- Cited by 3 (1 self) – Add To MetaCart
-
Mathematically Strong Subsystems of Analysis With Low Rate of Growth of Provably Recursive Functionals
- … functionals Ulrich Kohlenbach Fachbereich Mathematik J.W. Goethe--Universitt D--60054 Frankfurt, Germany…
- Cited by 21 (14 self) – Add To MetaCart
-
A quantitative version of a theorem due to Borwein-Reich-Shafrir
- …A quantitative version of a theorem due to Borwein-Reich-Shafrir Ulrich Kohlenbach BRICS…
- Cited by 8 (3 self) – Add To MetaCart
-
Proof Interpretations and the Computational Content of Proofs
- …Proof Interpretations and the Computational Content of Proofs January 2002 Ulrich Kohlenbach BRICS…
- Cited by 5 (1 self) – Add To MetaCart
-
Foundational and mathematical uses of higher types
- … Research in Computer Science Foundational and Mathematical Uses of Higher Types Ulrich Kohlenbach BRICS…
- Cited by 6 (2 self) – Add To MetaCart
-
The Use of a Logical Principle of Uniform Boundedness in Analysis
- …The use of a logical principle of uniform boundedness in analysis Ulrich Kohlenbach Department…
- Cited by 8 (7 self) – Add To MetaCart
-
On the No-Counterexample Interpretation
- … in Computer Science On the No-Counterexample Interpretation Ulrich Kohlenbach BRICS Report Series RS-97…
- Cited by 8 (4 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
