ProfileOfResearchers

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

TITLE: Displaying data is not enough: Incorporating User Behavior Transformation in domestic reporting systems Full Text
AUTHORS: Henrique Pombeiro; Joao Santos; Paulo Carreira; Carlos Silva;
PUBLISHED: 2019, SOURCE: SUSTAINABLE CITIES AND SOCIETY, VOLUME: 48

INDEXED IN:

WOS

TITLE: Many-Sorted Equivalence of Shiny and Strongly Polite Theories Full Text
AUTHORS: Casal, F ; Rasga, J;
PUBLISHED: 2018, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 60, ISSUE: 2

INDEXED IN:

Scopus

WOS

DBLP

TITLE: An Integrated System for Geophysical Navigation of Autonomous Underwater Vehicles
AUTHORS: Joao Quintas; Francisco Curado Teixeira; Antonio Pascoal;
PUBLISHED: 2018, SOURCE: 11th IFAC Conference on Control Applications in Marine Systems, Robotics, and Vehicles (CAMS) in IFAC PAPERSONLINE, VOLUME: 51, ISSUE: 29

INDEXED IN:

Scopus

WOS

Página 2 de 4. Total de resultados: 39.

Useful Links