João Filipe Quintas dos Santos Rasga
AuthID: R-000-6Z8
21
TÃTULO: Decidability Results on Theories
AUTORES: Rasga, J; Sernadas, C;
PUBLICAÇÃO: 2020, FONTE: Studies in Universal Logic
AUTORES: Rasga, J; Sernadas, C;
PUBLICAÇÃO: 2020, FONTE: Studies in Universal Logic
INDEXADO EM: 
Scopus
Scopus22
TÃTULO: First-Order Logic
AUTORES: Rasga, J; Sernadas, C;
PUBLICAÇÃO: 2020, FONTE: Studies in Universal Logic
AUTORES: Rasga, J; Sernadas, C;
PUBLICAÇÃO: 2020, FONTE: Studies in Universal Logic
INDEXADO EM: Scopus
Scopus23
TÃTULO: Probabilistic logic of quantum observations
AUTORES: Sernadas, A; Rasga, J; Sernadas, C ; Alcacer, L; Henriques, AB;
PUBLICAÇÃO: 2019, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 27, NÚMERO: 3
AUTORES: Sernadas, A; Rasga, J; Sernadas, C ; Alcacer, L; Henriques, AB;
PUBLICAÇÃO: 2019, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 27, NÚMERO: 3
25
TÃTULO: An Integrated System for Geophysical Navigation of Autonomous Underwater Vehicles
AUTORES: Joao Quintas; Francisco Curado Teixeira; Antonio Pascoal;
PUBLICAÇÃO: 2018, FONTE: 11th IFAC Conference on Control Applications in Marine Systems, Robotics, and Vehicles (CAMS) in IFAC PAPERSONLINE, VOLUME: 51, NÚMERO: 29
AUTORES: Joao Quintas; Francisco Curado Teixeira; Antonio Pascoal;
PUBLICAÇÃO: 2018, FONTE: 11th IFAC Conference on Control Applications in Marine Systems, Robotics, and Vehicles (CAMS) in IFAC PAPERSONLINE, VOLUME: 51, NÚMERO: 29
27
TÃTULO: On probability and logic
AUTORES: Amilcar Sernadas; Joao Rasga; Cristina Sernadas ;
PUBLICAÇÃO: 2017, FONTE: PORTUGALIAE MATHEMATICA, VOLUME: 74, NÚMERO: 4
AUTORES: Amilcar Sernadas; Joao Rasga; Cristina Sernadas ;
PUBLICAÇÃO: 2017, FONTE: PORTUGALIAE MATHEMATICA, VOLUME: 74, NÚMERO: 4
28
TÃTULO: Decision and optimization problems in the unreliable-circuit logic Full Text
AUTORES: RASGA, J; SERNADAS, C; MATEUS, P; SERNADAS, A;
PUBLICAÇÃO: 2017, FONTE: Logic Journal of the IGPL, VOLUME: 25, NÚMERO: 3
AUTORES: RASGA, J; SERNADAS, C; MATEUS, P; SERNADAS, A;
PUBLICAÇÃO: 2017, FONTE: Logic Journal of the IGPL, VOLUME: 25, NÚMERO: 3
29
TÃTULO: PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS Full Text
AUTORES: Joao Rasga; Cristina Sernadas ; Amilcar Sernadas ;
PUBLICAÇÃO: 2016, FONTE: REVIEW OF SYMBOLIC LOGIC, VOLUME: 9, NÚMERO: 4
AUTORES: Joao Rasga; Cristina Sernadas ; Amilcar Sernadas ;
PUBLICAÇÃO: 2016, FONTE: REVIEW OF SYMBOLIC LOGIC, VOLUME: 9, NÚMERO: 4
30
TÃTULO: A Roadmap to Decidability
AUTORES: João Rasga; Cristina Sernadas ; Amílcar Sernadas ;
PUBLICAÇÃO: 2015, FONTE: Studies in Universal Logic - The Road to Universal Logic
AUTORES: João Rasga; Cristina Sernadas ; Amílcar Sernadas ;
PUBLICAÇÃO: 2015, FONTE: Studies in Universal Logic - The Road to Universal Logic
