ProfileOfResearchers

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

INDEXED IN:

WOS

IN MY:

ORCID

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

INDEXED IN:

Scopus

TITLE: Essential Structure of Proofs as a Measure of Complexity Full Text
AUTHORS: Ramos, J; Rasga, J; Sernadas, C;
PUBLISHED: 2020, SOURCE: LOGICA UNIVERSALIS, VOLUME: 14, ISSUE: 2

INDEXED IN:

WOS

IN MY:

ORCID

TITLE: Decidability of logical theories and their combination
AUTHORS: Rasga, J; Sernadas, C;
PUBLISHED: 2020, SOURCE: Studies in Universal Logic

INDEXED IN:

Scopus

TITLE: Preface
AUTHORS: Rasga, J; Sernadas, C;
PUBLISHED: 2020, SOURCE: Studies in Universal Logic

INDEXED IN:

Scopus

TITLE: Combination of Theories
AUTHORS: Rasga, J; Sernadas, C;
PUBLISHED: 2020, SOURCE: Studies in Universal Logic

INDEXED IN:

Scopus

TITLE: Quantifier Elimination
AUTHORS: Rasga, J; Sernadas, C;
PUBLISHED: 2020, SOURCE: Studies in Universal Logic

INDEXED IN:

Scopus

TITLE: Reasoning with Theories
AUTHORS: Rasga, J; Sernadas, C;
PUBLISHED: 2020, SOURCE: Studies in Universal Logic

INDEXED IN:

Scopus

TITLE: Decidability Results on Theories
AUTHORS: Rasga, J; Sernadas, C;
PUBLISHED: 2020, SOURCE: Studies in Universal Logic

INDEXED IN:

Scopus

TITLE: First-Order Logic
AUTHORS: Rasga, J; Sernadas, C;
PUBLISHED: 2020, SOURCE: Studies in Universal Logic

INDEXED IN:

Scopus

Page 2 of 5. Total results: 41.

Useful Links