Fernando Jorge Inocêncio Ferreira


AuthID: R-000-4Z7

Confirmed Publications: 27



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
2
TITLE: A short note on spector's proof of consistency of analysis
AUTHORS: Ferreira, F ;
PUBLISHED: 2012, SOURCE: Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7318 LNCS
INDEXED IN: Scopus CrossRef
IN MY: ORCID
3
TITLE: Computability in Europe 2010  Full Text
AUTHORS: Fernando Ferreira ; Martin Hyland; Benedikt Loewe; Elvira Mayordomo;
PUBLISHED: 2012, SOURCE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 163, ISSUE: 6
INDEXED IN: Scopus WOS
IN MY: ORCID
4
TITLE: On the notion of object. A logical genealogy
AUTHORS: Ferreira, F ;
PUBLISHED: 2012, SOURCE: Disputatio, VOLUME: 4, ISSUE: 34
INDEXED IN: Scopus CrossRef
IN MY: ORCID
5
TITLE: Programs, Proofs, Processes. 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings  Full Text
AUTHORS: Ferreira, F ; Lowe, B; Mayordomo, E;
PUBLISHED: 2012, SOURCE: THEORY OF COMPUTING SYSTEMS, VOLUME: 51, ISSUE: 3
INDEXED IN: Scopus WOS CrossRef Openlibrary
IN MY: ORCID
6
TITLE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTHORS: Ferreira, F ; Lowe, B; Mayordomo, E; Gomes, LM;
PUBLISHED: 2010, SOURCE: 6th Conference on Computability in Europe, CiE 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6158 LNCS
INDEXED IN: Scopus
7
TITLE: THE BOUNDED FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT
AUTHORS: Patricia Engracia; Fernando Ferreira ;
PUBLISHED: 2010, SOURCE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 75, ISSUE: 2
INDEXED IN: Scopus WOS
IN MY: ORCID
8
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
9
TITLE: Injecting uniformities into Peano arithmetic  Full Text
AUTHORS: Fernando Ferreira ;
PUBLISHED: 2009, SOURCE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 157, ISSUE: 2-3
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
10
TITLE: A most artistic package of a jumble of ideas (Kurt Godel)
AUTHORS: Fernando Ferreira ;
PUBLISHED: 2008, SOURCE: DIALECTICA, VOLUME: 62, ISSUE: 2
INDEXED IN: Scopus WOS
IN MY: ORCID
Page 1 of 3. Total results: 27.

A place for researchers and their institutions

Useful Links

Get Help

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