BIBLIOS
Ciências References Management System
Visitor Mode (
Login
)
Need help?
Publications for pmpinto
(3)
2019
On the removal of weak compactness arguments in proof mining
(2019)
Fernando Ferreira
Laurentiu Leustean
Pedro Pinto
Journal articles
2019
Proof mining with the bounded functional interpretation
(2019)
Pinto, Pedro Miguel dos Santos
Ferreira, Fernando Jorge Inocêncio
Academic documents
2013
Teorema da estrutura de Furstenberg : demonstração e redução ao nivél ...
(2013)
Pinto, Pedro Miguel dos Santos
Ferreira, Fernando
Duarte, Pedro Miguel Nunes da Rosa Dias
Academic documents