Gilda Maria Saraiva Dias Ferreira
AuthID: R-000-KQ3
21
TITLE: On various negative translations
AUTHORS: Gilda Ferreira; Paulo Oliva;
PUBLISHED: 2011, SOURCE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 47
AUTHORS: Gilda Ferreira; Paulo Oliva;
PUBLISHED: 2011, SOURCE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 47
22
TITLE: Confined modified realizability Full Text
AUTHORS: Gilda Ferreira; Paulo Oliva;
PUBLISHED: 2010, SOURCE: MATHEMATICAL LOGIC QUARTERLY, VOLUME: 56, ISSUE: 1
AUTHORS: Gilda Ferreira; Paulo Oliva;
PUBLISHED: 2010, SOURCE: MATHEMATICAL LOGIC QUARTERLY, VOLUME: 56, ISSUE: 1
IN MY: ORCID | ResearcherID
23
TITLE: Functional Interpretations of Intuitionistic Linear Logic
AUTHORS: Ferreira, G; Oliva, P;
PUBLISHED: 2009, SOURCE: 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
AUTHORS: Ferreira, G; Oliva, P;
PUBLISHED: 2009, SOURCE: 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
IN MY: ORCID | ResearcherID
24
TITLE: The counting hierarchy in binary notation
AUTHORS: Ferreira, G;
PUBLISHED: 2009, SOURCE: PORTUGALIAE MATHEMATICA, VOLUME: 66, ISSUE: 1
AUTHORS: Ferreira, G;
PUBLISHED: 2009, SOURCE: PORTUGALIAE MATHEMATICA, VOLUME: 66, ISSUE: 1
25
TITLE: Age and sex differences in neurobehavioral performance: A study of Portuguese elementary school children Full Text
AUTHORS: Martins, IP ; Castro Caldas, A ; Townes, BD; Ferreira, G; Rodrigues, P; Marques, S; Rosebaum, G; Benton, TS; Leitao, J; Derouen, T;
PUBLISHED: 2005, SOURCE: INTERNATIONAL JOURNAL OF NEUROSCIENCE, VOLUME: 115, ISSUE: 12
AUTHORS: Martins, IP ; Castro Caldas, A ; Townes, BD; Ferreira, G; Rodrigues, P; Marques, S; Rosebaum, G; Benton, TS; Leitao, J; Derouen, T;
PUBLISHED: 2005, SOURCE: INTERNATIONAL JOURNAL OF NEUROSCIENCE, VOLUME: 115, ISSUE: 12
INDEXED IN: Scopus WOS