ProfileOfResearchers

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

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

INDEXED IN:

Scopus

WOS

IN MY:

ORCID

Page 2 of 4. Total results: 40.

Useful Links