João Filipe Quintas dos Santos Rasga


AuthID: R-000-6Z8

Publicações a aguardar confirmação

11
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
12
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
13
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
14
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
15
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
16
TÍTULO: Preface
AUTORES: Rasga, J; Sernadas, C;
PUBLICAÇÃO: 2020, FONTE: Studies in Universal Logic
INDEXADO EM: Scopus
17
TÍTULO: Combination of Theories
AUTORES: Rasga, J; Sernadas, C;
PUBLICAÇÃO: 2020, FONTE: Studies in Universal Logic
INDEXADO EM: Scopus
18
TÍTULO: Quantifier Elimination
AUTORES: Rasga, J; Sernadas, C;
PUBLICAÇÃO: 2020, FONTE: Studies in Universal Logic
INDEXADO EM: Scopus
19
TÍTULO: Reasoning with Theories
AUTORES: Rasga, J; Sernadas, C;
PUBLICAÇÃO: 2020, FONTE: Studies in Universal Logic
INDEXADO EM: Scopus
20
TÍTULO: Decidability Results on 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: 42.

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

Links Úteis

Ajuda

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