Gilda Maria Saraiva Dias Ferreira


AuthID: R-000-KQ3

Publicações a aguardar confirmação

21
TÍTULO: On various negative translations
AUTORES: Gilda Ferreira; Paulo Oliva;
PUBLICAÇÃO: 2011, FONTE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 47
INDEXADO EM: Scopus CrossRef: 6
NO MEU: ORCID
22
TÍTULO: Confined modified realizability  Full Text
AUTORES: Gilda Ferreira; Paulo Oliva;
PUBLICAÇÃO: 2010, FONTE: MATHEMATICAL LOGIC QUARTERLY, VOLUME: 56, NÚMERO: 1
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
23
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
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
24
TÍTULO: The counting hierarchy in binary notation
AUTORES: Ferreira, G;
PUBLICAÇÃO: 2009, FONTE: PORTUGALIAE MATHEMATICA, VOLUME: 66, NÚMERO: 1
INDEXADO EM: WOS CrossRef
NO MEU: ORCID
25
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
INDEXADO EM: Scopus WOS
Página 3 de 3. Total de resultados: 25.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service