João Filipe Quintas dos Santos Rasga
AuthID: R-000-6Z8
41
TÃTULO: Labelled deduction over algebras of truth-values
AUTORES: Rasga, J; Sernadas, A ; Sernadas, C ; Vigano, L;
PUBLICAÇÃO: 2002, FONTE: 4th International Workshop on Frontiers of Combining Systems in FRONTIERS OF COMBINING SYSTEMS, VOLUME: 2309
AUTORES: Rasga, J; Sernadas, A ; Sernadas, C ; Vigano, L;
PUBLICAÇÃO: 2002, FONTE: 4th International Workshop on Frontiers of Combining Systems in FRONTIERS OF COMBINING SYSTEMS, VOLUME: 2309
INDEXADO EM:
WOS

NO MEU:
ResearcherID

42
TÃTULO: Labelled Deduction over Algebras of Truth-Values*
AUTORES: João Rasga; Amílcar Sernadas ; Cristina Sernadas ; Luca Viganò;
PUBLICAÇÃO: 2002, FONTE: Frontiers of Combining Systems - Lecture Notes in Computer Science
AUTORES: João Rasga; Amílcar Sernadas ; Cristina Sernadas ; Luca Viganò;
PUBLICAÇÃO: 2002, FONTE: Frontiers of Combining Systems - Lecture Notes in Computer Science