DMCA

Graph-theoretic fibring of logics (2008)

by A. Sernadas , C. Sernadas , J. Rasga , M. Coniglio
Venue:Part II - Completeness preservation. Preprint, SQIG - IT and IST - TU Lisbon
Citations:4 - 3 self