Gilda Maria Saraiva Dias Ferreira


AuthID: R-000-KQ3

Confirmed Publications: 6



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

footer slogan

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service