João Filipe Quintas dos Santos Rasga
AuthID: R-000-6Z8
11
TITLE: Adding abductive reasoning to a propositional logic
AUTHORS: Rasga, J; Sernadas, C;
PUBLISHED: 2021, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 32, ISSUE: 4
AUTHORS: Rasga, J; Sernadas, C;
PUBLISHED: 2021, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 32, ISSUE: 4
12
TITLE: Evapotranspirações potenciais de thornthwaite e de penman-monteith e estimação de escoamentos mensais
AUTHORS: Portela, MM; Santos, JF;
PUBLISHED: 2020, SOURCE: 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
AUTHORS: Portela, MM; Santos, JF;
PUBLISHED: 2020, SOURCE: 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
INDEXED IN: 
Scopus
Scopus13
TITLE: Decidability of logical theories and their combination
AUTHORS: Rasga, J; Sernadas, C;
PUBLISHED: 2020, SOURCE: Studies in Universal Logic
AUTHORS: Rasga, J; Sernadas, C;
PUBLISHED: 2020, SOURCE: Studies in Universal Logic
INDEXED IN: Scopus
Scopus15
TITLE: Combination of Theories
AUTHORS: Rasga, J; Sernadas, C;
PUBLISHED: 2020, SOURCE: Studies in Universal Logic
AUTHORS: Rasga, J; Sernadas, C;
PUBLISHED: 2020, SOURCE: Studies in Universal Logic
INDEXED IN: Scopus
Scopus16
TITLE: Quantifier Elimination
AUTHORS: Rasga, J; Sernadas, C;
PUBLISHED: 2020, SOURCE: Studies in Universal Logic
AUTHORS: Rasga, J; Sernadas, C;
PUBLISHED: 2020, SOURCE: Studies in Universal Logic
INDEXED IN: Scopus
Scopus17
TITLE: Reasoning with Theories
AUTHORS: Rasga, J; Sernadas, C;
PUBLISHED: 2020, SOURCE: Studies in Universal Logic
AUTHORS: Rasga, J; Sernadas, C;
PUBLISHED: 2020, SOURCE: Studies in Universal Logic
INDEXED IN: Scopus
Scopus18
TITLE: Decidability Results on Theories
AUTHORS: Rasga, J; Sernadas, C;
PUBLISHED: 2020, SOURCE: Studies in Universal Logic
AUTHORS: Rasga, J; Sernadas, C;
PUBLISHED: 2020, SOURCE: Studies in Universal Logic
INDEXED IN: Scopus
Scopus19
TITLE: First-Order Logic
AUTHORS: Rasga, J; Sernadas, C;
PUBLISHED: 2020, SOURCE: Studies in Universal Logic
AUTHORS: Rasga, J; Sernadas, C;
PUBLISHED: 2020, SOURCE: Studies in Universal Logic
INDEXED IN: Scopus
Scopus20
TITLE: Probabilistic logic of quantum observations
AUTHORS: Sernadas, A; Rasga, J; Sernadas, C ; Alcacer, L; Henriques, AB;
PUBLISHED: 2019, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 27, ISSUE: 3
AUTHORS: Sernadas, A; Rasga, J; Sernadas, C ; Alcacer, L; Henriques, AB;
PUBLISHED: 2019, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 27, ISSUE: 3
