Gilda Maria Saraiva Dias Ferreira
AuthID: R-000-KQ3
1
TÃTULO: Herbrandized modified realizability
AUTORES: Ferreira, Gilda; Firmino, Paulo;
PUBLICAÇÃO: 2024, FONTE: ARCHIVE FOR MATHEMATICAL LOGIC, VOLUME: 63, NÚMERO: 5-6
AUTORES: Ferreira, Gilda; Firmino, Paulo;
PUBLICAÇÃO: 2024, FONTE: ARCHIVE FOR MATHEMATICAL LOGIC, VOLUME: 63, NÚMERO: 5-6
2
TÃTULO: The Russell-Prawitz embedding and the atomization of universal instantiation
AUTORES: Santo, JE; Ferreira, G;
PUBLICAÇÃO: 2021, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 29, NÚMERO: 5
AUTORES: Santo, JE; Ferreira, G;
PUBLICAÇÃO: 2021, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 29, NÚMERO: 5
3
TÃTULO: TYPABILITY AND TYPE INFERENCE IN ATOMIC POLYMORPHISM
AUTORES: Protin, M. Clarence; Ferreira, Gilda;
PUBLICAÇÃO: 2021, FONTE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 18, NÚMERO: 3
AUTORES: Protin, M. Clarence; Ferreira, Gilda;
PUBLICAÇÃO: 2021, FONTE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 18, NÚMERO: 3
4
TÃTULO: A Refined Interpretation of Intuitionistic Logic by Means of Atomic Polymorphism
AUTORES: Santo, JE; Ferreira, G;
PUBLICAÇÃO: 2020, FONTE: STUDIA LOGICA, VOLUME: 108, NÚMERO: 3
AUTORES: Santo, JE; Ferreira, G;
PUBLICAÇÃO: 2020, FONTE: STUDIA LOGICA, VOLUME: 108, NÚMERO: 3
5
TÃTULO: The computational content of atomic polymorphism
AUTORES: Ferreira, G; Vasconcelos, VT ;
PUBLICAÇÃO: 2019, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 27, NÚMERO: 5
AUTORES: Ferreira, G; Vasconcelos, VT ;
PUBLICAÇÃO: 2019, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 27, NÚMERO: 5
6
TÃTULO: Atomic polymorphism and the existence property
AUTORES: Ferreira, G;
PUBLICAÇÃO: 2018, FONTE: European Summer Meeting of the Association-for-Symbolic-Logic / Logic Colloquium in ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 169, NÚMERO: 12
AUTORES: Ferreira, G;
PUBLICAÇÃO: 2018, FONTE: European Summer Meeting of the Association-for-Symbolic-Logic / Logic Colloquium in ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 169, NÚMERO: 12
7
TÃTULO: eta-conversions of IPC implemented in atomic F
AUTORES: Ferreira, G;
PUBLICAÇÃO: 2017, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 25, NÚMERO: 2
AUTORES: Ferreira, G;
PUBLICAÇÃO: 2017, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 25, NÚMERO: 2
8
TÃTULO: A herbrandized functional interpretation of classical first-order logic Full Text
AUTORES: Ferreira, F; Ferreira, G;
PUBLICAÇÃO: 2017, FONTE: Archive for Mathematical Logic, VOLUME: 56, NÚMERO: 5-6
AUTORES: Ferreira, F; Ferreira, G;
PUBLICAÇÃO: 2017, FONTE: Archive for Mathematical Logic, VOLUME: 56, NÚMERO: 5-6
9
TÃTULO: Rasiowa–Harrop Disjunction Property
AUTORES: Gilda Ferreira;
PUBLICAÇÃO: 2017, FONTE: Studia Logica, VOLUME: 105, NÚMERO: 3
AUTORES: Gilda Ferreira;
PUBLICAÇÃO: 2017, FONTE: Studia Logica, VOLUME: 105, NÚMERO: 3
10
TÃTULO: INSTANTIATION OVERFLOW
AUTORES: Bruno Dinis; Gilda Ferreira;
PUBLICAÇÃO: 2016, FONTE: REPORTS ON MATHEMATICAL LOGIC, VOLUME: 51, NÚMERO: 51
AUTORES: Bruno Dinis; Gilda Ferreira;
PUBLICAÇÃO: 2016, FONTE: REPORTS ON MATHEMATICAL LOGIC, VOLUME: 51, NÚMERO: 51
INDEXADO EM: 
Scopus 
WOS
Scopus WOS NO MEU: 
ORCID
ORCID