Fernando Jorge Inocêncio Ferreira
AuthID: R-000-4Z7
31
TÃTULO: Nannofossils: The smoking gun for the Canarian hotspot Full Text
AUTORES: Troll, VR; Deegan, FM; Burchardt, S; Zaczek, K; Carracedo, JC; Meade, FC; Soler, V; Cachao, M; Ferreira, J; Barker, AK;
PUBLICAÇÃO: 2015, FONTE: Geology Today, VOLUME: 31, NÚMERO: 4
AUTORES: Troll, VR; Deegan, FM; Burchardt, S; Zaczek, K; Carracedo, JC; Meade, FC; Soler, V; Cachao, M; Ferreira, J; Barker, AK;
PUBLICAÇÃO: 2015, FONTE: Geology Today, VOLUME: 31, NÚMERO: 4
INDEXADO EM: 
Scopus 
CrossRef
Scopus CrossRef32
TÃTULO: Computability in Europe 2010 Preface
AUTORES: Alessandra Carbone; Fernando Ferreira; Benedikt Lowe; Elvira Mayordomo;
PUBLICAÇÃO: 2015, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 25, NÚMERO: 4
AUTORES: Alessandra Carbone; Fernando Ferreira; Benedikt Lowe; Elvira Mayordomo;
PUBLICAÇÃO: 2015, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 25, NÚMERO: 4
INDEXADO EM: 
WOS
WOS33
TÃTULO: Baixo Sabor (Portugal) Upstream Dam Foundation: From Design Geological Predictions to Construction Geological Facts and Geotechnical Solutions
AUTORES: Jorge Neves; Celso Lima; Fernando Ferreira; Joao Machado;
PUBLICAÇÃO: 2015, FONTE: 12th International IAEG Congress in ENGINEERING GEOLOGY FOR SOCIETY AND TERRITORY, VOL 6: APPLIED GEOLOGY FOR MAJOR ENGINEERING PROJECTS
AUTORES: Jorge Neves; Celso Lima; Fernando Ferreira; Joao Machado;
PUBLICAÇÃO: 2015, FONTE: 12th International IAEG Congress in ENGINEERING GEOLOGY FOR SOCIETY AND TERRITORY, VOL 6: APPLIED GEOLOGY FOR MAJOR ENGINEERING PROJECTS
34
TÃTULO: The Faithfulness of Fat: A Proof-Theoretic Proof
AUTORES: Ferreira, F; Ferreira, G;
PUBLICAÇÃO: 2015, FONTE: Studia Logica, VOLUME: 103, NÚMERO: 6
AUTORES: Ferreira, F; Ferreira, G;
PUBLICAÇÃO: 2015, FONTE: Studia Logica, VOLUME: 103, NÚMERO: 6
INDEXADO EM: Scopus
Scopus NO MEU: 
ORCID
ORCID35
TÃTULO: The Faithfulness of F-at: A Proof-Theoretic Proof Full Text
AUTORES: Ferreira, F; Ferreira, G;
PUBLICAÇÃO: 2015, FONTE: STUDIA LOGICA, VOLUME: 103, NÚMERO: 6
AUTORES: Ferreira, F; Ferreira, G;
PUBLICAÇÃO: 2015, FONTE: STUDIA LOGICA, VOLUME: 103, NÚMERO: 6
INDEXADO EM: WOS
WOS NO MEU: ORCID
ORCID36
TÃTULO: The Finitistic Consistency of Heck’s Predicative Fregean System
AUTORES: Luís Cruz-Filipe; Fernando Ferreira;
PUBLICAÇÃO: 2015, FONTE: Notre Dame J. Formal Logic - Notre Dame Journal of Formal Logic, VOLUME: 56, NÚMERO: 1
AUTORES: Luís Cruz-Filipe; Fernando Ferreira;
PUBLICAÇÃO: 2015, FONTE: Notre Dame J. Formal Logic - Notre Dame Journal of Formal Logic, VOLUME: 56, NÚMERO: 1
37
TÃTULO: Spector’s proof of the consistency of analysis
AUTORES: Ferreira, F;
PUBLICAÇÃO: 2015, FONTE: Gentzen's Centenary: The Quest for Consistency
AUTORES: Ferreira, F;
PUBLICAÇÃO: 2015, FONTE: Gentzen's Centenary: The Quest for Consistency
38
TÃTULO: On the general decay of a nonlinear viscoelastic plate equation with a strong damping and (p)over-right-arrow(x, t)-Laplacian Full Text
AUTORES: Ferreira, J; Messaoudi, SA;
PUBLICAÇÃO: 2014, FONTE: NONLINEAR ANALYSIS-THEORY METHODS & APPLICATIONS, VOLUME: 104
AUTORES: Ferreira, J; Messaoudi, SA;
PUBLICAÇÃO: 2014, FONTE: NONLINEAR ANALYSIS-THEORY METHODS & APPLICATIONS, VOLUME: 104
39
TÃTULO: A NEW COMPUTATION OF THE Sigma-ORDINAL OF KP omega
AUTORES: Fernando Ferreira;
PUBLICAÇÃO: 2014, FONTE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 79, NÚMERO: 1
AUTORES: Fernando Ferreira;
PUBLICAÇÃO: 2014, FONTE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 79, NÚMERO: 1
INDEXADO EM: Scopus WOS
Scopus WOS NO MEU: ORCID
ORCID40
TÃTULO: ON A VISCOELASTIC PLATE EQUATION WITH STRONG DAMPING AND (p)over-right-arrow(x, t)- LAPLACIAN EXISTENCE AND UNIQUENESS
AUTORES: Antontsev, S; Ferreira, J;
PUBLICAÇÃO: 2014, FONTE: DIFFERENTIAL AND INTEGRAL EQUATIONS, VOLUME: 27, NÚMERO: 11-12
AUTORES: Antontsev, S; Ferreira, J;
PUBLICAÇÃO: 2014, FONTE: DIFFERENTIAL AND INTEGRAL EQUATIONS, VOLUME: 27, NÚMERO: 11-12
INDEXADO EM: Scopus WOS
Scopus WOS