Einträge mit Organisationseinheit "04 Fachbereich Mathematik > Logik > Extraction of Effective Bounds"
- TU Darmstadt (107207)
- 04 Fachbereich Mathematik (2692)
- Logik (35)
- Extraction of Effective Bounds (2)
- Logik (35)
- 04 Fachbereich Mathematik (2692)
Es werden nur Einträge angezeigt, bei denen keine untergeordnete Organisationseinheit ausgewählt wurde. Anzahl: 2.
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
Dissertation, Erstveröffentlichung
P
Pischke, Nicholas Norbert (2024)
Proof-Theoretical Aspects of Nonlinear and Set-Valued Analysis.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00026584
Dissertation, Erstveröffentlichung, Verlagsversion
Drucken
Impressum