Fernando Jorge Inocêncio Ferreira


AuthID: R-000-4Z7

Publicações Confirmadas: 27



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
2
TÍTULO: A short note on spector's proof of consistency of analysis
AUTORES: Ferreira, F ;
PUBLICAÇÃO: 2012, FONTE: 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
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
3
TÍTULO: Computability in Europe 2010  Full Text
AUTORES: Fernando Ferreira ; Martin Hyland; Benedikt Loewe; Elvira Mayordomo;
PUBLICAÇÃO: 2012, FONTE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 163, NÚMERO: 6
INDEXADO EM: Scopus WOS
NO MEU: ORCID
4
TÍTULO: On the notion of object. A logical genealogy
AUTORES: Ferreira, F ;
PUBLICAÇÃO: 2012, FONTE: Disputatio, VOLUME: 4, NÚMERO: 34
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
5
TÍTULO: Programs, Proofs, Processes. 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings  Full Text
AUTORES: Ferreira, F ; Lowe, B; Mayordomo, E;
PUBLICAÇÃO: 2012, FONTE: THEORY OF COMPUTING SYSTEMS, VOLUME: 51, NÚMERO: 3
INDEXADO EM: Scopus WOS CrossRef Openlibrary
NO MEU: ORCID
6
TÍTULO: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTORES: Ferreira, F ; Lowe, B; Mayordomo, E; Gomes, LM;
PUBLICAÇÃO: 2010, FONTE: 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
INDEXADO EM: Scopus
7
TÍTULO: THE BOUNDED FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT
AUTORES: Patricia Engracia; Fernando Ferreira ;
PUBLICAÇÃO: 2010, FONTE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 75, NÚMERO: 2
INDEXADO EM: Scopus WOS
NO MEU: ORCID
8
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
9
TÍTULO: Injecting uniformities into Peano arithmetic  Full Text
AUTORES: Fernando Ferreira ;
PUBLICAÇÃO: 2009, FONTE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 157, NÚMERO: 2-3
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
10
TÍTULO: A most artistic package of a jumble of ideas (Kurt Godel)
AUTORES: Fernando Ferreira ;
PUBLICAÇÃO: 2008, FONTE: DIALECTICA, VOLUME: 62, NÚMERO: 2
INDEXADO EM: Scopus WOS
NO MEU: ORCID
Página 1 de 3. Total de resultados: 27.

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