BIBLIOS

  Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Journal articles

Document subtype
Full paper

Title
On the removal of weak compactness arguments in proof mining

Participants in the publication
Fernando Ferreira (Author)
Dep. Matemática
CMAFcIO
Laurentiu Leustean (Author)
Pedro Pinto (Author)
Dep. Matemática

Date of Publication
2019-10

Where published
Advances in Mathematics

Publication Identifiers
ISSN - 0001-8708

Publisher
Elsevier BV

Volume
354

Starting page
106728

Document Identifiers
DOI - https://doi.org/10.1016/j.aim.2019.106728
URL - http://dx.doi.org/10.1016/j.aim.2019.106728

Rankings
SCIMAGO Q1 (2018) - 2.514 - Mathematics (miscellaneous)


Export

APA
Fernando Ferreira, Laurentiu Leustean, Pedro Pinto, (2019). On the removal of weak compactness arguments in proof mining. Advances in Mathematics, 354, ISSN 0001-8708. eISSN . http://dx.doi.org/10.1016/j.aim.2019.106728

IEEE
Fernando Ferreira, Laurentiu Leustean, Pedro Pinto, "On the removal of weak compactness arguments in proof mining" in Advances in Mathematics, vol. 354, 2019. 10.1016/j.aim.2019.106728

BIBTEX
@article{44081, author = {Fernando Ferreira and Laurentiu Leustean and Pedro Pinto}, title = {On the removal of weak compactness arguments in proof mining}, journal = {Advances in Mathematics}, year = 2019, volume = 354 }