Heterogeneous fibring of deductive systems via abstract proof systems (2005)

by Luís Cruz-filipe , Amílcar Sernadas , Cristina Sernadas
Citations:3 - 1 self