BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Conference papers

Document subtype
Full paper

Title
On false Heine/Borel compactness principles in proof mining

Participants in the publication
Fernando Ferreira (Author)
Dep. Matemática
 CMAFcIO
Date of Publication
2021-06

Institution
FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA

Event
Connecting with Computability

Publication Identifiers
ISSN - 0302-9743

Publisher
Springer International Publishing

Collection
Lecture Notes in Computer Science

Number
12813

Number of pages
5
Starting page
199
Last page
203

Document Identifiers
DOI - https://doi.org/10.1007/978-3-030-80049-9_18
URL - http://dx.doi.org/10.1007/978-3-030-80049-9_18

Rankings
SCIMAGO Q2 (2019) - 0.427 - Theoretical Computer Science (Q3)


Export

APA
Fernando Ferreira, (2021). On false Heine/Borel compactness principles in proof mining. Connecting with Computability, 199-203

IEEE
Fernando Ferreira, "On false Heine/Borel compactness principles in proof mining" in Connecting with Computability, , 2021, pp. 199-203, doi: 10.1007/978-3-030-80049-9_18

BIBTEX
@InProceedings{52017, author = {Fernando Ferreira}, title = {On false Heine/Borel compactness principles in proof mining}, booktitle = {Connecting with Computability}, year = 2021, pages = {199-203}, address = {}, publisher = {Springer International Publishing} }