João Filipe Quintas dos Santos Rasga


AuthID: R-000-6Z8

Publicações a aguardar confirmação

11
TÍTULO: REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET-COMBINATION
AUTORES: Rasga, J; Sernadas, C; Carnielli, W;
PUBLICAÇÃO: 2021, FONTE: BULLETIN OF SYMBOLIC LOGIC, VOLUME: 27, NÚMERO: 1
INDEXADO EM: WOS CrossRef: 1
NO MEU: ORCID
12
TÍTULO: Schema Complexity in Propositional-Based Logics  Full Text
AUTORES: Ramos, J ; Rasga, J; Sernadas, C;
PUBLICAÇÃO: 2021, FONTE: MATHEMATICS, VOLUME: 9, NÚMERO: 21
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
13
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
INDEXADO EM: WOS CrossRef
NO MEU: ORCID
14
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
INDEXADO EM: Scopus
15
TÍTULO: Essential Structure of Proofs as a Measure of Complexity  Full Text
AUTORES: Ramos, J ; Rasga, J; Sernadas, C;
PUBLICAÇÃO: 2020, FONTE: LOGICA UNIVERSALIS, VOLUME: 14, NÚMERO: 2
INDEXADO EM: WOS CrossRef: 1
NO MEU: ORCID
16
TÍTULO: Decidability of logical theories and their combination
AUTORES: Rasga, J; Sernadas, C;
PUBLICAÇÃO: 2020, FONTE: Studies in Universal Logic
INDEXADO EM: Scopus
17
TÍTULO: Preface
AUTORES: Rasga, J; Sernadas, C;
PUBLICAÇÃO: 2020, FONTE: Studies in Universal Logic
INDEXADO EM: Scopus
18
TÍTULO: Combination of Theories
AUTORES: Rasga, J; Sernadas, C;
PUBLICAÇÃO: 2020, FONTE: Studies in Universal Logic
INDEXADO EM: Scopus
19
TÍTULO: Quantifier Elimination
AUTORES: Rasga, J; Sernadas, C;
PUBLICAÇÃO: 2020, FONTE: Studies in Universal Logic
INDEXADO EM: Scopus
20
TÍTULO: Reasoning with Theories
AUTORES: Rasga, J; Sernadas, C;
PUBLICAÇÃO: 2020, FONTE: Studies in Universal Logic
INDEXADO EM: Scopus
Página 2 de 5. Total de resultados: 43.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service