Gilda Maria Saraiva Dias Ferreira
AuthID: R-000-KQ3
11
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
ORCID12
TÃTULO: An elementary proof of strong normalization for atomic F
AUTORES: Ferreira, F; Ferreira, G;
PUBLICAÇÃO: 2016, FONTE: Bulletin of the Section of Logic, VOLUME: 45, NÚMERO: 1
AUTORES: Ferreira, F; Ferreira, G;
PUBLICAÇÃO: 2016, FONTE: Bulletin of the Section of Logic, VOLUME: 45, NÚMERO: 1
13
TÃTULO: The Faithfulness of F<inf>at</inf>: A Proof-Theoretic Proof Full Text
AUTORES: Ferreira, F; Ferreira, G;
PUBLICAÇÃO: 2015, FONTE: Studia Logica, VOLUME: 103, NÚMERO: 6
AUTORES: Ferreira, F; Ferreira, G;
PUBLICAÇÃO: 2015, FONTE: Studia Logica, VOLUME: 103, NÚMERO: 6
14
TÃTULO: The Faithfulness of Fat: A Proof-Theoretic Proof
AUTORES: Ferreira, F; Ferreira, G;
PUBLICAÇÃO: 2015, FONTE: Studia Logica, VOLUME: 103, NÚMERO: 6
AUTORES: Ferreira, F; Ferreira, G;
PUBLICAÇÃO: 2015, FONTE: Studia Logica, VOLUME: 103, NÚMERO: 6
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID15
TÃTULO: The Faithfulness of F-at: A Proof-Theoretic Proof Full Text
AUTORES: Ferreira, F; Ferreira, G;
PUBLICAÇÃO: 2015, FONTE: STUDIA LOGICA, VOLUME: 103, NÚMERO: 6
AUTORES: Ferreira, F; Ferreira, G;
PUBLICAÇÃO: 2015, FONTE: STUDIA LOGICA, VOLUME: 103, NÚMERO: 6
INDEXADO EM: WOS
WOS NO MEU: ORCID
ORCID16
TÃTULO: INTERPRETABILITY IN ROBINSON'S Q
AUTORES: Fernando Ferreira; Gilda Ferreira;
PUBLICAÇÃO: 2013, FONTE: BULLETIN OF SYMBOLIC LOGIC, VOLUME: 19, NÚMERO: 3
AUTORES: Fernando Ferreira; Gilda Ferreira;
PUBLICAÇÃO: 2013, FONTE: BULLETIN OF SYMBOLIC LOGIC, VOLUME: 19, NÚMERO: 3
17
TÃTULO: Blastic plasmacytoid dendritic cell neoplasm Full Text
AUTORES: Andre Lencastre; Joana Cabete; Alexandre Joao; Pedro Farinha; Gilda Ferreira; Sara Lestre;
PUBLICAÇÃO: 2013, FONTE: ANAIS BRASILEIROS DE DERMATOLOGIA, VOLUME: 88, NÚMERO: 6
AUTORES: Andre Lencastre; Joana Cabete; Alexandre Joao; Pedro Farinha; Gilda Ferreira; Sara Lestre;
PUBLICAÇÃO: 2013, FONTE: ANAIS BRASILEIROS DE DERMATOLOGIA, VOLUME: 88, NÚMERO: 6
18
TÃTULO: Bounded theories for polyspace computability
AUTORES: Ricardo Bianconi; Gilda Ferreira; Emmanuel Silva;
PUBLICAÇÃO: 2013, FONTE: PORTUGALIAE MATHEMATICA, VOLUME: 70, NÚMERO: 4
AUTORES: Ricardo Bianconi; Gilda Ferreira; Emmanuel Silva;
PUBLICAÇÃO: 2013, FONTE: PORTUGALIAE MATHEMATICA, VOLUME: 70, NÚMERO: 4
19
TÃTULO: Interpretability in Robinson's Q
AUTORES: Ferreira, F; Ferreira, G;
PUBLICAÇÃO: 2013, FONTE: Bulletin of Symbolic Logic, VOLUME: 19, NÚMERO: 3
AUTORES: Ferreira, F; Ferreira, G;
PUBLICAÇÃO: 2013, FONTE: Bulletin of Symbolic Logic, VOLUME: 19, NÚMERO: 3
20
TÃTULO: On bounded functional interpretations Full Text
AUTORES: Gilda Ferreira; Paulo Oliva;
PUBLICAÇÃO: 2012, FONTE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 163, NÚMERO: 8
AUTORES: Gilda Ferreira; Paulo Oliva;
PUBLICAÇÃO: 2012, FONTE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 163, NÚMERO: 8
NO MEU: ORCID | ResearcherID
ORCID | ResearcherID