TU Darmstadt / ULB / TUbiblio

Items in division

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Date | Item Type | Language | No Grouping
Jump to: B | C | G | K | S | Z
Number of items at this level: 18.

B

Bitterlich, Julian (2019):
Investigations into the Universal Algebra of Hypergraph Coverings and Applications.
Darmstadt, Technische Universität, [Online-Edition: https://tuprints.ulb.tu-darmstadt.de/8691],
[Ph.D. Thesis]

Blumensath, Achim and Wolf, Felix Chatzigiannakis, Ioannis and Kaklamanis, Christos and Marx, Dániel and Sannella, Donald (eds.) (2018):
Bisimulation Invariant Monadic-Second Order Logic in the Finite.
In: Leibniz International Proceedings in Informatics (LIPIcs), 107, Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, In: 45th International Colloquium on Automata, Languages, and Programming (ICALP 2018), Dagstuhl, Germany, pp. 117:1-117:13, [Online-Edition: http://drops.dagstuhl.de/opus/volltexte/2018/9121],
[Conference or Workshop Item]

Briseid, Eyvind Martol (2009):
On Rates of Convergence in Metric Fixed Point Theory.
Darmstadt, Technische Universität, TU Darmstadt, [Online-Edition: urn:nbn:de:tuda-tuprints-19663],
[Ph.D. Thesis]

C

Canavoi, Felix (2018):
Cayley Structures and the Expressiveness of Common Knowledge Logic.
Darmstadt, Technische Universität, [Online-Edition: https://tuprints.ulb.tu-darmstadt.de/8269],
[Ph.D. Thesis]

G

Gregoriades, Vassilios (2016):
Descriptive set theory: advancements in effective theory and applications.
Darmstadt, TU Darmstadt, [Habilitation]

Gaspar, Jaime (2011):
Proof interpretations: theoretical and practical aspects.
Technische Universität Darmstadt, [Online-Edition: urn:nbn:de:tuda-tuprints-28518],
[Ph.D. Thesis]

K

Koutsoukou-Argyraki, Angeliki (2017):
Proof Mining for Nonlinear Operator Theory: Four Case Studies on Accretive Operators, the Cauchy Problem and Nonexpansive Semigroups.
Darmstadt, Technische Universität Darmstadt, [Online-Edition: http://tuprints.ulb.tu-darmstadt.de/6101],
[Ph.D. Thesis]

Körnlein, Daniel (2016):
Quantitative Analysis of Iterative Algorithms in Fixed Point Theory and Convex Optimization.
Darmstadt, Technische Universität Darmstadt, [Online-Edition: http://tuprints.ulb.tu-darmstadt.de/5485],
[Ph.D. Thesis]

Kreuzer, Alexander P. (2012):
Proof mining and combinatorics : Program extraction for Ramsey's theorem for pairs.
TU Darmstadt, [Online-Edition: urn:nbn:de:tuda-tuprints-29720],
[Ph.D. Thesis]

Kartzow, Alexander (2011):
First-Order Model Checking on Generalisations of Pushdown Graphs.
TU Darmstadt Fachbereich Mathematik, [Online-Edition: urn:nbn:de:tuda-tuprints-26815],
[Ph.D. Thesis]

S

Steinberg, Florian (2017):
Computational Complexity Theory for Advanced Function Spaces in Analysis.
Darmstadt, Technische Universität, [Online-Edition: http://tuprints.ulb.tu-darmstadt.de/6096],
[Ph.D. Thesis]

Z

Zahn, Peter (2019):
Ein modal-logisches Modell für Syllogismen.
DOI: 10.25534/tuprints-00009672,
[Online-Edition: https://tuprints.ulb.tu-darmstadt.de/9672],
[Report]

Zahn, Peter (2019):
Untersuchung einer widerspruchsfreien Modifikation von ZFC.
[Online-Edition: https://tuprints.ulb.tu-darmstadt.de/9106],
[Report]

Zahn, Peter (2019):
Erblich endliche Mengen und die Widerspruchsfreiheit einer abgeschwächten Version von ZFC (Erweiterte Fassung).
[Online-Edition: https://tuprints.ulb.tu-darmstadt.de/8463],
[Report]

Zahn, Peter (2018):
Erblich endliche Mengen und die Widerspruchsfreiheit einer abgeschwächten Version von ZFC.
[Online-Edition: https://tuprints.ulb.tu-darmstadt.de/8259],
[Report]

Zahn, Peter (2018):
Eignet sich "unbestimmt" als Wahrheitswert?
[Online-Edition: https://tuprints.ulb.tu-darmstadt.de/7744],
[Report]

Zahn, Peter (2018):
Interpretation unscharfer Aussagen bzw. Relationen als Einermengen bzw. Funktionen.
[Online-Edition: https://tuprints.ulb.tu-darmstadt.de/8109],
[Report]

Zahn, Peter (2006):
Assertion Games to Justify Classical Reasoning.
In: Synthese, (148), pp. 309-343, [Online-Edition: http://tuprints.ulb.tu-darmstadt.de/7545],
[Article]

This list was generated on Sun Jan 19 01:51:04 2020 CET.