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