Gilda Maria Saraiva Dias Ferreira


AuthID: R-000-KQ3

Publicações Confirmadas: 6



1
TÍTULO: ATOMIC POLYMORPHISM
AUTORES: Fernando Ferreira ; Gilda Ferreira ;
PUBLICAÇÃO: 2013, FONTE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 78, NÚMERO: 1
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
2
TÍTULO: FUNCTIONAL INTERPRETATIONS OF INTUITIONISTIC LINEAR LOGIC  Full Text
AUTORES: Ferreira, G ; Oliva, P;
PUBLICAÇÃO: 2011, FONTE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 7, NÚMERO: 1
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
3
TÍTULO: Commuting conversions vs. the standard conversions of the "good" connectives  Full Text
AUTORES: Ferreira, F ; Ferreira, G ;
PUBLICAÇÃO: 2009, FONTE: Studia Logica, VOLUME: 92, NÚMERO: 1
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
4
TÍTULO: Harrington's conservation theorem redone  Full Text
AUTORES: Fernando Ferreira ; Gilda Ferreira ;
PUBLICAÇÃO: 2008, FONTE: ARCHIVE FOR MATHEMATICAL LOGIC, VOLUME: 47, NÚMERO: 2
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
5
TÍTULO: The Riemann integral in weak systems of analysis
AUTORES: Fernando Ferreira ; Gilda Ferreira ;
PUBLICAÇÃO: 2008, FONTE: 4th International Conference on Computability and Complexity in Analysis in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 14, NÚMERO: 6
INDEXADO EM: Scopus WOS
NO MEU: ORCID | ResearcherID
6
TÍTULO: Counting as integration in feasible analysis  Full Text
AUTORES: Fernando Ferreira ; Gilda Ferreira ;
PUBLICAÇÃO: 2006, FONTE: MATHEMATICAL LOGIC QUARTERLY, VOLUME: 52, NÚMERO: 3
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID

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

Links Úteis

Ajuda

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