Skip to contents

Kohlenbach, Ulrich Wilhelm [Author] ; Kohlenbach, Ulrich [Other]

Applied proof theory : proof interpretations and their use in mathematics

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2008

Published in: Springer monographs in mathematics
Kohlenbach, Ulrich [Author]

On the proximal point algorithm and its Halpern-type variant for generalized monotone operators in Hilbert space

View online
Schließen

Links

... to article

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer, 2021
Kohlenbach, Ulrich [Author] ; Barceló, Pablo [Editor]; Queiroz, Ruy [Editor]

Logic, Language, Information, and Computation : 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings

View online
Schließen

Access

... to E-book via DOI (Volltext)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer, 2014

Published in: Lecture notes in computer science ; 8652
Kohlenbach, Ulrich [Author]; Leustean, Laurentiu [Author] ; Ulrich Kohlenbach and Laurentiu Leustean [Contributor]

Approximate fixed points of nonexpansive functions in product spaces

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2006
Gerhardy, Philipp [Author]; Kohlenbach, Ulrich [Author] ; Philipp Gerhardy and Ulrich Kohlenbach [Contributor]

Generalized metatheorems on the extractability of uniform bounds in functional analysis

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2006
Kohlenbach, Ulrich [Contributor]; Rathjen, Michael [Contributor]

Mathematical Logic: Proof theory, Constructive Mathematics - [published Version]

View online
Schließen

Links

... to article

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Zürich : EMS Publ. House, 2014
Libkin, Leonid [Author] ; Kohlenbach, Ulrich [Editor]; Queiroz, Ruy [Editor]

Logic, Language, Information, and Computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings

View online
Schließen

Access

... to E-book via DOI (Volltext)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer, 2013

Published in: Lecture notes in computer science ; 8071
Kohlenbach, Ulrich [Contributor]; Rathjen, Michael [Contributor]

Mathematical Logic: Proof Theory, Constructive Mathematics - [published Version]

View online
Schließen

Links

... to article

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Zürich : EMS Publ. House, 2011
Kohlenbach, Ulrich [Contributor]; Schwichtenberg, Helmut [Contributor]

Mathematical Logic: Proof Theory, Constructive Mathematics - [published Version]

View online
Schließen

Links

... to article

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Zürich : EMS Publ. House, 2008
Pischke, Nicholas Norbert [Author] ; Kohlenbach, Ulrich [Degree supervisor]; Leuştean, Laurenţiu [Degree supervisor]; Nicolae, Adriana [Degree supervisor]

Proof-Theoretical Aspects of Nonlinear and Set-Valued Analysis

View online
Schließen

Access

... to E-book via DOI (freely accessible)

... to E-book via Resolving system (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Darmstadt: Universitäts- und Landesbibliothek, 2024
Kohlenbach, Ulrich [Author]; López Acedo, Genaro [Author]; Nicolae, Adriana [Author]

A quantitative analysis of the "Lion-Man" game

View online
Schließen

Access

... to E-book via DOI (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Oberwolfach-Walke: Mathematisches Forschungsinstitut, 2019

Published in: Oberwolfach preprints ; 2019,18
Iemhoff, Rosalie [Contributor]; Kohlenbach, Ulrich [Contributor]; Rathjen, Michael [Contributor]

Mathematical Logic: Proof Theory, Constructive Mathematics (hybrid meeting) - [published Version]

View online
Schließen

Links

... to article

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Zürich : EMS Publ. House, 2020
Iemhoff, Rosalie [Contributor]; Kohlenbach, Ulrich [Contributor]; Rathjen, Michael [Contributor]

Mathematical Logic: Proof Theory, Constructive Mathematics - [published Version]

View online
Schließen

Links

... to article

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Zürich : EMS Publ. House, 2017
Buss, Samuel [Editor]; Kohlenbach, Ulrich [Editor]; Rathjen, Michael [Editor]

Mathematical Logic: Proof theory, Constructive Mathematics : 16.11.2014 - 22.11.2014

View online
Schließen

Access

... to article via DOI (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Publ. Date 29 October 2015

Published in: Oberwolfach reports ; 2014
Buss, Samuel [Editor]; Rathjen, Michael [Editor]; Kohlenbach, Ulrich [Editor]

Mathematical Logic: Proof Theory, Constructive Mathematics : 6.11.2011 - 12.11.2011

View online
Schließen

Access

... to article via DOI (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Publ. Date 25 July 2012

Published in: Oberwolfach reports ; 2011
Kohlenbach, Ulrich [Editor]; Buss, Samuel [Editor]; Schwichtenberg, Helmut [Editor]

Mathematical Logic: Proof Theory, Constructive Mathematics : 6.4.2008 - 12.4.2008

View online
Schließen

Access

... to article via DOI (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Publ. Date 31 March 2009

Published in: Oberwolfach reports ; 2008
Buss, Samuel [Editor]; Iemhoff, Rosalie [Editor]; Kohlenbach, Ulrich [Editor]; Rathjen, Michael [Editor]

Mathematical Logic: Proof Theory, Constructive Mathematics : 12.11.2023 - 17.11.2023

View online
Schließen

Access

... to article via DOI (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Publ. Date 23 July 2024

Published in: Oberwolfach reports ; 2023
Buss, Samuel [Editor]; Iemhoff, Rosalie [Editor]; Kohlenbach, Ulrich [Editor]; Rathjen, Michael [Editor]

Mathematical Logic: Proof Theory, Constructive Mathematics (hybrid meeting) : 08.11.2020 - 14.11.2020

View online
Schließen

Access

... to article via DOI (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Publ. Date 14 September 2021]

Published in: Oberwolfach reports ; 2020
Buss, Samuel [Editor]; Iemhoff, Rosalie [Editor]; Kohlenbach, Ulrich [Editor]; Rathjen, Michael [Editor]

Mathematical Logic: Proof Theory, Constructive Mathematics : 05.11.2017 - 11.11.2017

View online
Schließen

Access

... to article via DOI (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Publ. Date 18 December 2018]

Published in: Oberwolfach reports ; 2017
Kohlenbach, Ulrich

On the proximal point algorithm and its Halpern-type variant for generalized monotone operators in Hilbert space

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2022

Published in: Optimization Letters, 16 (2022) 2, Seite 611-621

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication