João Filipe Quintas dos Santos Rasga
AuthID: R-000-6Z8
41
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