Heterogeneous Fibring of Deductive Systems via Abstract Proof Systems

Luís Cruz-FilipeA. SernadasC. Sernadas2010-05-212014-11-142010-05-212014-11-1420082008http://hdl.handle.net/10451/14552http://repositorio.ul.pt/handle/10455/6161engComputer ScienceHeterogeneous Fibring of Deductive Systems via Abstract Proof Systemsjournal article