An invitation to proof mining: two applications in nonlinear operator theory

Angeliki Koutsoukou-Argyraki

doi:10.1017/bsl.2018.13

An invitation to proof mining: two applications in nonlinear operator theory

Department of Computer Science

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

Original language	English
DOIs	https://doi.org/10.1017/bsl.2018.13
Publication status	Published - 7 Aug 2018
Event	2017 European Summer Meeting of the Association for Symbolic Logic - Stockholm, Sweden Duration: 14 Aug 2017 → 20 Aug 2017

Conference

Conference	2017 European Summer Meeting of the Association for Symbolic Logic
Abbreviated title	Logic Colloquium ’17
Country/Territory	Sweden
City	Stockholm
Period	14/08/17 → 20/08/17

Access to Document

10.1017/bsl.2018.13

Cite this

@conference{71a6ee4bf8804d01be627d4927567106,

title = "An invitation to proof mining: two applications in nonlinear operator theory",

author = "Angeliki Koutsoukou-Argyraki",

year = "2018",

month = aug,

day = "7",

doi = "10.1017/bsl.2018.13",

language = "English",

note = "2017 European Summer Meeting of the Association for Symbolic Logic<br/>, Logic Colloquium {\textquoteright}17 ; Conference date: 14-08-2017 Through 20-08-2017",

}