New Applications of Proof Mining to Nonlinear Analysis

Research output: Contribution to conference › Abstract › peer-review

Original language	English
DOIs	https://doi.org/10.15496/publikation-10394
Publication status	Published - Mar 2016
Event	General Proof Theory. Celebrating 50 Years of Dag Prawitz's "Natural Deduction". - Tübingen, Germany Duration: 27 Nov 2015 → 29 Nov 2015

Conference	General Proof Theory. Celebrating 50 Years of Dag Prawitz's "Natural Deduction".
Country/Territory	Germany
City	Tübingen
Period	27/11/15 → 29/11/15

Access to Document

@conference{32cd8ac6029b435696f858caf47224d0,

title = "New Applications of Proof Mining to Nonlinear Analysis",

author = "Angeliki Koutsoukou-Argyraki and Ulrich Kohlenbach",

year = "2016",

month = mar,

doi = "10.15496/publikation-10394",

language = "English",

note = "General Proof Theory. Celebrating 50 Years of Dag Prawitz's {"}Natural Deduction{"}. ; Conference date: 27-11-2015 Through 29-11-2015",

}

TY - CONF

T1 - New Applications of Proof Mining to Nonlinear Analysis

AU - Koutsoukou-Argyraki, Angeliki

AU - Kohlenbach, Ulrich

PY - 2016/3

Y1 - 2016/3

U2 - 10.15496/publikation-10394

DO - 10.15496/publikation-10394

M3 - Abstract

T2 - General Proof Theory. Celebrating 50 Years of Dag Prawitz's "Natural Deduction".

Y2 - 27 November 2015 through 29 November 2015

ER -