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

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

Document Versions

Heterogeneous fibring of deductive systems via abstract proof systems –Luís Cruz-filipe, Amílcar Sernadas, Cristina Sernadas — 2005
Heterogeneous fibring of deductive systems via abstract proof systems –Luís Cruz-filipe, Amílcar Sernadas, Cristina Sernadas — 2005