![]() | Up a level |
Briseid, Eyvind Martol
:
On Rates of Convergence in Metric Fixed Point Theory.
Technische Universität, Darmstadt
[Ph.D. Thesis], (2009)
Canavoi, Felix
:
Cayley Structures and the Expressiveness of Common Knowledge Logic.
Technische Universität, Darmstadt
[Ph.D. Thesis], (2018)
Gaspar, Jaime
:
Proof interpretations: theoretical and practical aspects.
Technische Universität, Darmstadt
[Ph.D. Thesis], (2011)
Kartzow, Alexander
:
First-Order Model Checking on Generalisations of Pushdown Graphs.
Technische Universität, Darmstadt
[Ph.D. Thesis], (2011)
Koutsoukou-Argyraki, Angeliki
:
Proof Mining for Nonlinear Operator Theory:
Four Case Studies on Accretive Operators, the Cauchy Problem and Nonexpansive Semigroups.
Technische Universität Darmstadt, Darmstadt
[Ph.D. Thesis], (2017)
Kreuzer, Alexander P.
:
Proof mining and combinatorics :
Program extraction for Ramsey's theorem for pairs.
Technische Universität, Darmstadt
[Ph.D. Thesis], (2012)
Körnlein, Daniel
:
Quantitative Analysis of Iterative Algorithms in Fixed Point Theory and Convex Optimization.
Technische Universität Darmstadt, Darmstadt
[Ph.D. Thesis], (2016)
Steinberg, Florian
:
Computational Complexity Theory for Advanced Function Spaces in Analysis.
Technische Universität, Darmstadt
[Ph.D. Thesis], (2017)
Zahn, Peter
:
Assertion Games to Justify Classical Reasoning.
In:
Synthese
(148)
pp. 309-343.
[Article], (2006)
Zahn, Peter
:
Eignet sich "unbestimmt" als Wahrheitswert?
[Report], (2018)
Zahn, Peter
:
Erblich endliche Mengen und die Widerspruchsfreiheit einer abgeschwächten Version von ZFC.
[Report], (2018)
Zahn, Peter
:
Erblich endliche Mengen und die Widerspruchsfreiheit einer abgeschwächten Version von ZFC (Erweiterte Fassung).
[Report], (2019)
Zahn, Peter
:
Interpretation unscharfer Aussagen bzw. Relationen
als Einermengen bzw. Funktionen.
[Report], (2018)