Fernando Jorge Inocêncio Ferreira
AuthID: R-000-4Z7
41
TITLE: A reaction-diffusion model for a class of nonlinear parabolic equations with moving boundaries: Existence, uniqueness, exponential decay and simulation Full Text
AUTHORS: Rui J Robalo; Rui M P Almeida; Maria do Carmo Coimbra ; Jorge Ferreira;
PUBLISHED: 2014, SOURCE: APPLIED MATHEMATICAL MODELLING, VOLUME: 38, ISSUE: 23
AUTHORS: Rui J Robalo; Rui M P Almeida; Maria do Carmo Coimbra ; Jorge Ferreira;
PUBLISHED: 2014, SOURCE: APPLIED MATHEMATICAL MODELLING, VOLUME: 38, ISSUE: 23
42
TITLE: A NEW COMPUTATION OF THE Σ-ORDINAL OF KPω
AUTHORS: FERNANDO FERREIRA;
PUBLISHED: 2014, SOURCE: The Journal of Symbolic Logic - J. symb. log., VOLUME: 79, ISSUE: 01
AUTHORS: FERNANDO FERREIRA;
PUBLISHED: 2014, SOURCE: The Journal of Symbolic Logic - J. symb. log., VOLUME: 79, ISSUE: 01
43
TITLE: INTERPRETABILITY IN ROBINSON'S Q
AUTHORS: Fernando Ferreira; Gilda Ferreira;
PUBLISHED: 2013, SOURCE: BULLETIN OF SYMBOLIC LOGIC, VOLUME: 19, ISSUE: 3
AUTHORS: Fernando Ferreira; Gilda Ferreira;
PUBLISHED: 2013, SOURCE: BULLETIN OF SYMBOLIC LOGIC, VOLUME: 19, ISSUE: 3
44
TITLE: Existence, uniqueness and blowup for hyperbolic equations with nonstandard growth conditions Full Text
AUTHORS: Antontsev, S ; Ferreira, J;
PUBLISHED: 2013, SOURCE: NONLINEAR ANALYSIS-THEORY METHODS & APPLICATIONS, VOLUME: 93
AUTHORS: Antontsev, S ; Ferreira, J;
PUBLISHED: 2013, SOURCE: NONLINEAR ANALYSIS-THEORY METHODS & APPLICATIONS, VOLUME: 93
45
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
AUTHORS: Fernando Ferreira; Martin Hyland; Benedikt Löwe; Elvira Mayordomo;
PUBLISHED: 2012, SOURCE: Annals of Pure and Applied Logic, VOLUME: 163, ISSUE: 6
46
TITLE: Computability in Europe 2010
AUTHORS: Carbone, A; Ferreira, F;
PUBLISHED: 2011, SOURCE: Journal of Logic and Computation, VOLUME: 25, ISSUE: 4
AUTHORS: Carbone, A; Ferreira, F;
PUBLISHED: 2011, SOURCE: Journal of Logic and Computation, VOLUME: 25, ISSUE: 4
INDEXED IN: 
Scopus
Scopus47
TITLE: 6th conference on computability in europe “programs, proofs, processes”
AUTHORS: Fernando Ferreira;
PUBLISHED: 2011, SOURCE: Bulletin of Symbolic Logic, VOLUME: 17, ISSUE: 3
AUTHORS: Fernando Ferreira;
PUBLISHED: 2011, SOURCE: Bulletin of Symbolic Logic, VOLUME: 17, ISSUE: 3
48
TITLE: The bounded functional interpretation of the double negation shift
AUTHORS: Engrácia Patrícia; Fernando Ferreira;
PUBLISHED: 2010, SOURCE: The Journal of Symbolic Logic - J. symb. log., VOLUME: 75, ISSUE: 02
AUTHORS: Engrácia Patrícia; Fernando Ferreira;
PUBLISHED: 2010, SOURCE: The Journal of Symbolic Logic - J. symb. log., VOLUME: 75, ISSUE: 02
49
TITLE: Proof interpretations and majorizability
AUTHORS: Fernando Ferreira;
PUBLISHED: 2010, SOURCE: Logic Colloquium 2007
AUTHORS: Fernando Ferreira;
PUBLISHED: 2010, SOURCE: Logic Colloquium 2007
50
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
AUTHORS: Fernando Ferreira; Benedikt Löwe; Elvira Mayordomo; Luís Mendes Gomes;
PUBLISHED: 2010, SOURCE: Lecture Notes in Computer Science
