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