Notions of Knowledge in Combinations of Theories Sharing Constructors.

Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen

Browse the full CADE paper archive.