Fernando Jorge Inocêncio Ferreira


AuthID: R-000-4Z7

Confirmed Publications: 75



31
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 | CIÊNCIAVITAE
32
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 | CIÊNCIAVITAE
33
TITLE: Computability in Europe 2010  Full Text
AUTHORS: Fernando Ferreira ; Martin Hyland; Benedikt Löwe; Elvira Mayordomo;
PUBLISHED: 2012, SOURCE: Annals of Pure and Applied Logic, VOLUME: 163, ISSUE: 6
INDEXED IN: CrossRef
IN MY: ORCID | CIÊNCIAVITAE
34
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 | CIÊNCIAVITAE
35
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 | CIÊNCIAVITAE
36
TITLE: 6th conference on computability in europe “programs, proofs, processes”
AUTHORS: Fernando Ferreira ;
PUBLISHED: 2011, SOURCE: Bulletin of Symbolic Logic, VOLUME: 17, ISSUE: 3
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
37
TITLE: Computability in Europe 2010
AUTHORS: Carbone, A; Ferreira, F ;
PUBLISHED: 2011, SOURCE: Journal of Logic and Computation, VOLUME: 25, ISSUE: 4
INDEXED IN: Scopus
IN MY: CIÊNCIAVITAE
38
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
39
TITLE: Programs, Proofs, Processes. 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings
AUTHORS: Fernando Ferreira ; Benedikt Löwe; Elvira Mayordomo; Luís Mendes Gomes;
PUBLISHED: 2010, SOURCE: Lecture Notes in Computer Science
INDEXED IN: CrossRef: 2
IN MY: ORCID | CIÊNCIAVITAE
40
TITLE: Proof interpretations and majorizability
AUTHORS: Fernando Ferreira ;
PUBLISHED: 2010, SOURCE: Logic Colloquium 2007
INDEXED IN: CrossRef: 1
IN MY: ORCID | CIÊNCIAVITAE
Page 4 of 8. Total results: 75.

footer slogan

Useful Links

Get Help

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