TU Darmstadt / ULB / TUprints

Items where Division is "04 Department of Mathematics > Logic > Extraction of Effective Bounds" and Year is [pin missing: value2]

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Date | Item Type | Language | No Grouping
Jump to: K | P
Number of items at this level (without sub-levels): 2.


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


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

This list was generated on Thu May 30 09:48:59 2024 CEST.