Fernando Jorge Inocêncio Ferreira


AuthID: R-000-4Z7

Publicações Confirmadas: 75



31
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 | CIÊNCIAVITAE
32
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 | CIÊNCIAVITAE
33
TÍTULO: Computability in Europe 2010  Full Text
AUTORES: Fernando Ferreira ; Martin Hyland; Benedikt Löwe; Elvira Mayordomo;
PUBLICAÇÃO: 2012, FONTE: Annals of Pure and Applied Logic, VOLUME: 163, NÚMERO: 6
INDEXADO EM: CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
34
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 | CIÊNCIAVITAE
35
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 | CIÊNCIAVITAE
36
TÍTULO: 6th conference on computability in europe “programs, proofs, processes”
AUTORES: Fernando Ferreira ;
PUBLICAÇÃO: 2011, FONTE: Bulletin of Symbolic Logic, VOLUME: 17, NÚMERO: 3
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
37
TÍTULO: Computability in Europe 2010
AUTORES: Carbone, A; Ferreira, F ;
PUBLICAÇÃO: 2011, FONTE: Journal of Logic and Computation, VOLUME: 25, NÚMERO: 4
INDEXADO EM: Scopus
NO MEU: CIÊNCIAVITAE
38
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
39
TÍTULO: Programs, Proofs, Processes. 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings
AUTORES: Fernando Ferreira ; Benedikt Löwe; Elvira Mayordomo; Luís Mendes Gomes;
PUBLICAÇÃO: 2010, FONTE: Lecture Notes in Computer Science
INDEXADO EM: CrossRef: 2
NO MEU: ORCID | CIÊNCIAVITAE
40
TÍTULO: Proof interpretations and majorizability
AUTORES: Fernando Ferreira ;
PUBLICAÇÃO: 2010, FONTE: Logic Colloquium 2007
INDEXADO EM: CrossRef: 1
NO MEU: ORCID | CIÊNCIAVITAE
Página 4 de 8. Total de resultados: 75.

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