João Filipe Quintas dos Santos Rasga
AuthID: R-000-6Z8
11
TÃTULO: Adding abductive reasoning to a propositional logic
AUTORES: Rasga, J; Sernadas, C;
PUBLICAÇÃO: 2021, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 32, NÚMERO: 4
AUTORES: Rasga, J; Sernadas, C;
PUBLICAÇÃO: 2021, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 32, NÚMERO: 4
12
TÃTULO: Evapotranspirações potenciais de thornthwaite e de penman-monteith e estimação de escoamentos mensais
AUTORES: Portela, MM; Santos, JF;
PUBLICAÇÃO: 2020, FONTE: International Symposium on Hydraulic Structures - XXII Congreso Latinoamericano de Hidraulica - 22nd Latin American Congress on Hydraulics 2006 in International Symposium on Hydraulic Structures - XXII Congreso Latinoamericano de Hidraulica
AUTORES: Portela, MM; Santos, JF;
PUBLICAÇÃO: 2020, FONTE: International Symposium on Hydraulic Structures - XXII Congreso Latinoamericano de Hidraulica - 22nd Latin American Congress on Hydraulics 2006 in International Symposium on Hydraulic Structures - XXII Congreso Latinoamericano de Hidraulica
INDEXADO EM: 
Scopus
Scopus13
TÃTULO: Decidability of logical theories and their combination
AUTORES: Rasga, J; Sernadas, C;
PUBLICAÇÃO: 2020, FONTE: Studies in Universal Logic
AUTORES: Rasga, J; Sernadas, C;
PUBLICAÇÃO: 2020, FONTE: Studies in Universal Logic
INDEXADO EM: Scopus
Scopus15
TÃTULO: Combination of Theories
AUTORES: Rasga, J; Sernadas, C;
PUBLICAÇÃO: 2020, FONTE: Studies in Universal Logic
AUTORES: Rasga, J; Sernadas, C;
PUBLICAÇÃO: 2020, FONTE: Studies in Universal Logic
INDEXADO EM: Scopus
Scopus16
TÃTULO: Quantifier Elimination
AUTORES: Rasga, J; Sernadas, C;
PUBLICAÇÃO: 2020, FONTE: Studies in Universal Logic
AUTORES: Rasga, J; Sernadas, C;
PUBLICAÇÃO: 2020, FONTE: Studies in Universal Logic
INDEXADO EM: Scopus
Scopus17
TÃTULO: Reasoning with Theories
AUTORES: Rasga, J; Sernadas, C;
PUBLICAÇÃO: 2020, FONTE: Studies in Universal Logic
AUTORES: Rasga, J; Sernadas, C;
PUBLICAÇÃO: 2020, FONTE: Studies in Universal Logic
INDEXADO EM: Scopus
Scopus18
TÃTULO: Decidability Results on Theories
AUTORES: Rasga, J; Sernadas, C;
PUBLICAÇÃO: 2020, FONTE: Studies in Universal Logic
AUTORES: Rasga, J; Sernadas, C;
PUBLICAÇÃO: 2020, FONTE: Studies in Universal Logic
INDEXADO EM: Scopus
Scopus19
TÃTULO: First-Order Logic
AUTORES: Rasga, J; Sernadas, C;
PUBLICAÇÃO: 2020, FONTE: Studies in Universal Logic
AUTORES: Rasga, J; Sernadas, C;
PUBLICAÇÃO: 2020, FONTE: Studies in Universal Logic
INDEXADO EM: Scopus
Scopus20
TÃTULO: Probabilistic logic of quantum observations
AUTORES: Sernadas, A; Rasga, J; Sernadas, C ; Alcacer, L; Henriques, AB;
PUBLICAÇÃO: 2019, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 27, NÚMERO: 3
AUTORES: Sernadas, A; Rasga, J; Sernadas, C ; Alcacer, L; Henriques, AB;
PUBLICAÇÃO: 2019, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 27, NÚMERO: 3
