Gilda Maria Saraiva Dias Ferreira
AuthID: R-000-KQ3
11
TITLE: INSTANTIATION OVERFLOW
AUTHORS: Bruno Dinis; Gilda Ferreira;
PUBLISHED: 2016, SOURCE: REPORTS ON MATHEMATICAL LOGIC, VOLUME: 51, ISSUE: 51
AUTHORS: Bruno Dinis; Gilda Ferreira;
PUBLISHED: 2016, SOURCE: REPORTS ON MATHEMATICAL LOGIC, VOLUME: 51, ISSUE: 51
INDEXED IN: 
Scopus 
WOS
Scopus WOS IN MY: 
ORCID
ORCID12
TITLE: An elementary proof of strong normalization for atomic F
AUTHORS: Ferreira, F; Ferreira, G;
PUBLISHED: 2016, SOURCE: Bulletin of the Section of Logic, VOLUME: 45, ISSUE: 1
AUTHORS: Ferreira, F; Ferreira, G;
PUBLISHED: 2016, SOURCE: Bulletin of the Section of Logic, VOLUME: 45, ISSUE: 1
13
TITLE: The Faithfulness of F<inf>at</inf>: A Proof-Theoretic Proof Full Text
AUTHORS: Ferreira, F; Ferreira, G;
PUBLISHED: 2015, SOURCE: Studia Logica, VOLUME: 103, ISSUE: 6
AUTHORS: Ferreira, F; Ferreira, G;
PUBLISHED: 2015, SOURCE: Studia Logica, VOLUME: 103, ISSUE: 6
14
TITLE: The Faithfulness of Fat: A Proof-Theoretic Proof
AUTHORS: Ferreira, F; Ferreira, G;
PUBLISHED: 2015, SOURCE: Studia Logica, VOLUME: 103, ISSUE: 6
AUTHORS: Ferreira, F; Ferreira, G;
PUBLISHED: 2015, SOURCE: Studia Logica, VOLUME: 103, ISSUE: 6
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID15
TITLE: The Faithfulness of F-at: A Proof-Theoretic Proof Full Text
AUTHORS: Ferreira, F; Ferreira, G;
PUBLISHED: 2015, SOURCE: STUDIA LOGICA, VOLUME: 103, ISSUE: 6
AUTHORS: Ferreira, F; Ferreira, G;
PUBLISHED: 2015, SOURCE: STUDIA LOGICA, VOLUME: 103, ISSUE: 6
INDEXED IN: WOS
WOS IN MY: ORCID
ORCID16
TITLE: INTERPRETABILITY IN ROBINSON'S Q
AUTHORS: Fernando Ferreira; Gilda Ferreira;
PUBLISHED: 2013, SOURCE: BULLETIN OF SYMBOLIC LOGIC, VOLUME: 19, ISSUE: 3
AUTHORS: Fernando Ferreira; Gilda Ferreira;
PUBLISHED: 2013, SOURCE: BULLETIN OF SYMBOLIC LOGIC, VOLUME: 19, ISSUE: 3
17
TITLE: Blastic plasmacytoid dendritic cell neoplasm Full Text
AUTHORS: Andre Lencastre; Joana Cabete; Alexandre Joao; Pedro Farinha; Gilda Ferreira; Sara Lestre;
PUBLISHED: 2013, SOURCE: ANAIS BRASILEIROS DE DERMATOLOGIA, VOLUME: 88, ISSUE: 6
AUTHORS: Andre Lencastre; Joana Cabete; Alexandre Joao; Pedro Farinha; Gilda Ferreira; Sara Lestre;
PUBLISHED: 2013, SOURCE: ANAIS BRASILEIROS DE DERMATOLOGIA, VOLUME: 88, ISSUE: 6
18
TITLE: Bounded theories for polyspace computability
AUTHORS: Ricardo Bianconi; Gilda Ferreira; Emmanuel Silva;
PUBLISHED: 2013, SOURCE: PORTUGALIAE MATHEMATICA, VOLUME: 70, ISSUE: 4
AUTHORS: Ricardo Bianconi; Gilda Ferreira; Emmanuel Silva;
PUBLISHED: 2013, SOURCE: PORTUGALIAE MATHEMATICA, VOLUME: 70, ISSUE: 4
19
TITLE: Interpretability in Robinson's Q
AUTHORS: Ferreira, F; Ferreira, G;
PUBLISHED: 2013, SOURCE: Bulletin of Symbolic Logic, VOLUME: 19, ISSUE: 3
AUTHORS: Ferreira, F; Ferreira, G;
PUBLISHED: 2013, SOURCE: Bulletin of Symbolic Logic, VOLUME: 19, ISSUE: 3
20
TITLE: On bounded functional interpretations Full Text
AUTHORS: Gilda Ferreira; Paulo Oliva;
PUBLISHED: 2012, SOURCE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 163, ISSUE: 8
AUTHORS: Gilda Ferreira; Paulo Oliva;
PUBLISHED: 2012, SOURCE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 163, ISSUE: 8
IN MY: ORCID | ResearcherID
ORCID | ResearcherID