Items where Division is "04 Department of Mathematics > Logic > Extraction of Effective Bounds" and Year is [pin missing: value2]
 | Up a level |
- TU Darmstadt (2)
- 04 Department of Mathematics (2)
- Logic (2)
- Extraction of Effective Bounds (2)
- Logic (2)
- 04 Department of Mathematics (2)
Number of items at this level (without sub-levels): 2.
2024
Pischke, Nicholas Norbert (2024)
Proof-Theoretical Aspects of Nonlinear and Set-Valued Analysis.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00026584
Ph.D. Thesis, Primary publication, Publisher's Version
2017
Koutsoukou-Argyraki, Angeliki (2017)
Proof Mining for Nonlinear Operator Theory: Four Case Studies on Accretive Operators, the Cauchy Problem and Nonexpansive Semigroups.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication
Drucken
Impressum