Items where Division is "04 Department of Mathematics > Logic > Extraction of Effective Bounds" and Year is [pin missing: value2]
![]() | Up a level |
- TU Darmstadt (1)
- 04 Department of Mathematics (1)
- Logic (1)
- Extraction of Effective Bounds (1)
- Logic (1)
- 04 Department of Mathematics (1)
Jump to: K
Number of items at this level (without sub-levels): 1.
K
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