João Filipe Quintas dos Santos Rasga
AuthID: R-000-6Z8
41
TITLE: Labelled deduction over algebras of truth-values
AUTHORS: Rasga, J; Sernadas, A ; Sernadas, C ; Vigano, L;
PUBLISHED: 2002, SOURCE: 4th International Workshop on Frontiers of Combining Systems in FRONTIERS OF COMBINING SYSTEMS, VOLUME: 2309
AUTHORS: Rasga, J; Sernadas, A ; Sernadas, C ; Vigano, L;
PUBLISHED: 2002, SOURCE: 4th International Workshop on Frontiers of Combining Systems in FRONTIERS OF COMBINING SYSTEMS, VOLUME: 2309
INDEXED IN: 
WOS
WOS IN MY: ResearcherID
ResearcherID42
TITLE: Labelled Deduction over Algebras of Truth-Values*
AUTHORS: João Rasga; Amílcar Sernadas ; Cristina Sernadas ; Luca Viganò;
PUBLISHED: 2002, SOURCE: Frontiers of Combining Systems - Lecture Notes in Computer Science
AUTHORS: João Rasga; Amílcar Sernadas ; Cristina Sernadas ; Luca Viganò;
PUBLISHED: 2002, SOURCE: Frontiers of Combining Systems - Lecture Notes in Computer Science
