Gilda Maria Saraiva Dias Ferreira
AuthID: R-000-KQ3
21
TÃTULO: Confined modified realizability Full Text
AUTORES: Gilda Ferreira; Paulo Oliva;
PUBLICAÇÃO: 2010, FONTE: MATHEMATICAL LOGIC QUARTERLY, VOLUME: 56, NÚMERO: 1
AUTORES: Gilda Ferreira; Paulo Oliva;
PUBLICAÇÃO: 2010, FONTE: MATHEMATICAL LOGIC QUARTERLY, VOLUME: 56, NÚMERO: 1
NO MEU: 
ORCID | 
ResearcherID
ORCID | ResearcherID22
TÃTULO: Functional Interpretations of Intuitionistic Linear Logic
AUTORES: Ferreira, G; Oliva, P;
PUBLICAÇÃO: 2009, FONTE: 23rd International Workshop on Computer Science Logic/18th Annual Conference of the European-Association-for-Computer-Science-Logic in COMPUTER SCIENCE LOGIC, PROCEEDINGS, VOLUME: 5771
AUTORES: Ferreira, G; Oliva, P;
PUBLICAÇÃO: 2009, FONTE: 23rd International Workshop on Computer Science Logic/18th Annual Conference of the European-Association-for-Computer-Science-Logic in COMPUTER SCIENCE LOGIC, PROCEEDINGS, VOLUME: 5771
NO MEU: ORCID | ResearcherID
ORCID | ResearcherID23
TÃTULO: The counting hierarchy in binary notation
AUTORES: Ferreira, G;
PUBLICAÇÃO: 2009, FONTE: PORTUGALIAE MATHEMATICA, VOLUME: 66, NÚMERO: 1
AUTORES: Ferreira, G;
PUBLICAÇÃO: 2009, FONTE: PORTUGALIAE MATHEMATICA, VOLUME: 66, NÚMERO: 1
24
TÃTULO: Age and sex differences in neurobehavioral performance: A study of Portuguese elementary school children Full Text
AUTORES: Martins, IP ; Castro Caldas, A ; Townes, BD; Ferreira, G; Rodrigues, P; Marques, S; Rosebaum, G; Benton, TS; Leitao, J; Derouen, T;
PUBLICAÇÃO: 2005, FONTE: INTERNATIONAL JOURNAL OF NEUROSCIENCE, VOLUME: 115, NÚMERO: 12
AUTORES: Martins, IP ; Castro Caldas, A ; Townes, BD; Ferreira, G; Rodrigues, P; Marques, S; Rosebaum, G; Benton, TS; Leitao, J; Derouen, T;
PUBLICAÇÃO: 2005, FONTE: INTERNATIONAL JOURNAL OF NEUROSCIENCE, VOLUME: 115, NÚMERO: 12
INDEXADO EM: 
Scopus WOS
Scopus WOS